/* For use with the functions.c test */




int f0(int x, int y, ...); 
float *f1(float x, float y);

void g0(int *);

void do_abort(int) __attribute__((noreturn));