file_close() function implemented