added correct handling of parameters in print_int