Constant __NR_ftime 

pub const __NR_ftime: u32 = 35;