print_tcpoptions
print_tcpoptions((uchar_t *)(tcp + 1),
static void print_tcpoptions(uchar_t *, int);