let t_rcut80 s = try Str.last_chars s 80 with _ -> s