#include <stdio.h>
#include <reent.h>
#include "osdebug.h"

int fclose(FILE * fp) {
//    DBGOUT("fclose(%p)\r\n", fp);
    return _fclose_r(_impure_ptr, fp);
}