pub fn t_down() -> f32