HC: void = ...