let
unlinkf
filename
=
try
unlink
filename
with
_
-> ();;