New Issue: I/O module: file.close

20254, "mppf", "I/O module: file.close", "2022-07-19T19:21:18Z"

This issue is about this existing IO module method:

proc file.close() throws

The proposal here is to keep it as-is but this issue is the place to discuss any changes to it.