pub type MessageId = u64;
The message ID, an ever-increasing number, unique only to a sharedmap/page.