zonecfg_delete_scratch
else if (zonecfg_delete_scratch(fp, kernzone) != 0)
extern int zonecfg_delete_scratch(FILE *, const char *);