logo
pub type va_list = __builtin_va_list;