/*
* The finaliser for the file objects embedded in Handles. The RTS
* assumes that the finaliser runs without problems, so all
/*
* The finaliser for the file objects embedded in Handles. The RTS
* assumes that the finaliser runs without problems, so all