writeint
static int writeint(u_char *, int);
n = writeint(s + 1, 6);
n = writeint(s + 1, 0);
n = writeint(t + 1, IPFILTER_VERSION);
static int writeint(u_char *, int);
n = writeint(t + 1, IPFILTER_VERSION);