pub const BINARY_VERSION_MASK: u32 = 0xffff_0000;