Symbol: PGM_SPECIFICATION