Fixed bug in return type of __builtin_va_start().