IPCPDEBUG
IPCPDEBUG(("ipcp: up"));
IPCPDEBUG(("ipcp: down"));
IPCPDEBUG(("ipcp_ackci: received bad Ack!"));
IPCPDEBUG(("ipcp_nakci: received bad Nak!"));
IPCPDEBUG(("ipcp_rejci: received bad Reject!"));