Y1: void = ...