/* check.c */
void check(void);