Symbol: msg_index_t