/*@notfunction@*/
# define NUMTYPES int /*@alt unsigned int, char, float, double@*/
extern NUMTYPES square (NUMTYPES x);
int f (int x, char c, float f, double d, char *s)
{
x = square (x);
c = square (c);
square (f);
square (d);
square (s);
return (square (d));
}