pub fn cast_time_to_string<'a>(a: NaiveTime) -> String