Constant CLOCK_TAI 

pub const CLOCK_TAI: i32 = 11;