r1: void = ...