Type Alias __builtin_va_list 

pub type __builtin_va_list = [__va_list_tag; 1];