Constant TARGET_IS_NT51_OR_LATER 

pub const TARGET_IS_NT51_OR_LATER: u32 = 1u32;