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