Constant KR_ENABLE_MACHINE 

pub const KR_ENABLE_MACHINE: u32 = 1u32;