print_int(42)