Constant TKF_AVAILABLE 

pub const TKF_AVAILABLE: u32 = 2u32;