Y: void = ...