void print_hello(int);
void destroy_list(void);