assigndefined
extern void assigndefined(char *);
assigndefined(getenv("IPF_PREDEFINED"));
assigndefined(getenv("IPNAT_PREDEFINED"));
assigndefined(getenv("IPPOOL_PREDEFINED"));