support syscall_print_int(var)