$R: void = ...