Add print_int for process