Symbol: pincfg_type