GET_UINT32
GET_UINT32(opt + 2),
GET_UINT32(opt + 6));
GET_UINT32(sack_opt),
GET_UINT32(sack_opt + 4));
"tstamp %u %u", GET_UINT32(opt + 2),
GET_UINT32(opt + 6));
GET_UINT32(sack_opt),
GET_UINT32(sack_opt + 4));