XF: void = ...