[varargs] va_arg_int just returns an int now