AFAIK, FILE* does some internal buffering, so it's courteous to let the CRT know the resources are no longer needed.