rS: void = ...