Constant ON_PMK_AVAILABLE 

pub const ON_PMK_AVAILABLE: u64 = 0x1314fc2c79643f90 /* 1_375_001_054_200_217_488u64 */;