extern void *h1 (void);