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