int ipcp_printpkt __P((u_char *, int, void (*)(), void *));
void ip_check_options __P((void));
int ip_demand_conf __P((int));
int ipcp_printpkt __P((u_char *, int, void (*)(), void *));
void ip_check_options __P((void));
int ip_demand_conf __P((int));