/* added 'int' to argument */
f(int c) { return!(c?2.0:1.0); }