$y: void = ...