DEFLATE_OVHD
u_char hdr[PPP_HDRLEN + DEFLATE_OVHD];
for (i = 0; i < PPP_HDRLEN + DEFLATE_OVHD; ++i) {
rlen += PPP_HDRLEN + DEFLATE_OVHD;