Z1: void = ...