R4: void = ...