Constant sel4_microkit_message::UNSPECIFIED_ERROR_MESSAGE_LABEL

pub const UNSPECIFIED_ERROR_MESSAGE_LABEL: MessageLabel = MAX_MESSAGE_LABEL; // 4_503_599_627_370_495u64