Type Definition rpi_pico_sdk::__builtin_va_list

type __builtin_va_list = [__va_list_tag; 1];