let
t_cut80 s =
try
Str
.first_chars s 80
with
_
->
s