Symbol: FREE_PROT