void pipe(int);

void f1(void) {
  pipe(1);
}