CF: void = ...