pub const TCGETS2: u64 = 2150388778; // 2_150_388_778u64