F1: void = ...