Constant TK_PATCH_LEVEL 

pub const TK_PATCH_LEVEL: &[u8; 7] = b"8.6.13\0";