JF: void = ...