Symbol: IPCP_PROTOCOL