text: #include "stdio_impl.h"
  #include "pthread_impl.h"
  
  void funlockfile(FILE *f)
  {
  	if (f->lockcount == 1) {
  		__unlist_locked_file(f);
  		f->lockcount = 0;
  		__unlockfile(f);
  	} else {
  		f->lockcount--;
  	}
  }
  