Constant __TVOS_12_4 

pub const __TVOS_12_4: u32 = 120400;