Constant ON_PMK_AVAILABLE 

pub const ON_PMK_AVAILABLE: u64 = 0x1314fc2c79643f90;