Eli pointed out that va_arg instruction result values don't