DR: void = ...