tS: void = ...