EF: void = ...