kR: void = ...