/* This is a generated header. If you modify it, remove this line and the
   next to prevent overwriting. */
/* may_be_overwritten */
#ifndef _hello_H_
#define _hello_H_
/* hello.c */
extern int main (void);
extern void polite_wait (char *msg);
#endif /* _hello_H_ */