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