pub const FUNC_SHIFT_RIGHT_UINT64: u32 = 16_495; // 16_495u32