RFC1533_END
} else if (*p == RFC1533_END)
*extdata = RFC1533_END;
else if (c == RFC1533_END) {
*extdata = RFC1533_END;
static unsigned char rfc1533_cookie_bootp[5] = { RFC1533_COOKIE, RFC1533_END };
RFC1533_HOSTNAME, RFC1533_EXTENSIONPATH, RFC1533_END
RFC1533_END