Symbol: rx_mbox_t