int h3_1(void);
}
int h3_2(void);
}
int h3_3(void);