-typedef u_int32_t window_size_t;
-
-typedef u_int32_t seq_nr_t;
-#define SEQ_NR_T_NTOH(a) ntohl(a)
-#define SEQ_NR_T_HTON(a) htonl(a)
-#define SEQ_NR_MAX UINT32_MAX
-
-typedef u_int16_t sender_id_t;
-#define SENDER_ID_T_NTOH(a) ntohs(a)
-#define SENDER_ID_T_HTON(a) htons(a)
-
-typedef u_int16_t payload_type_t;
-#define PAYLOAD_TYPE_T_NTOH(a) ntohs(a)
-#define PAYLOAD_TYPE_T_HTON(a) htons(a)
-
-typedef u_int16_t mux_t;
-#define MUX_T_NTOH(a) ntohs(a)
-#define MUX_T_HTON(a) htons(a)
-
-typedef u_int32_t satp_prf_label_t;
-#define SATP_PRF_LABEL_T_NTOH(a) ntohl(a)
-#define SATP_PRF_LABEL_T_HTON(a) htonl(a)
-