static void init(void); int main(void);