void print_hello();