print_int x;