e1: void = ...