__va_arg_type_violation
extern void __va_arg_type_violation(void) __attribute__((__noreturn__));
__va_arg_type_violation (); \
