Ht: void = ...