static int h2_1 (void);
int h2_2 (void);