6.8.2.2 The close Function

• void `f_close'(file f);

  closes the f file (if file is open, does nothing otherwise)