fP: void = ...