Type Definition __builtin_va_list
pico_sys_dynamic::ps2000a
type __builtin_va_list = [__va_list_tag; 1];