Symbol: CONS_PDA