pub type __builtin_va_list = *mut c_void;