w1: void = ...