• ceiling_prio : k_t
• clip : k_t
• cnt : k_msg_t
• cnt1 : k_t
• cnt2 : k_t
• cnt3 : k_t
• el_size : k_msg_t
• lost_msg : k_msg_t
• maxv : k_t
• next : k_t
• nr : k_msg_t , k_t
• nr_el : k_msg_t
• pBuf : k_msg_t
• pred : k_t
• prio : k_t
• pt : k_t
• r : k_msg_t
• saved_prio : k_t
• sem : k_msg_t
• sp_hi : k_t
• sp_lo : k_t
• w : k_msg_t