214     }

   214     }

   215     return false;

   215     return false;

   216 }

   216 }

   217 

   217 

   218 void __attribute__((overloadable)) fpcrtl_flush(Text f) {

   218 void __attribute__((overloadable)) fpcrtl_flush(Text f) {

   221 }

   220 }

   222 

   221 

   223 void __attribute__((overloadable)) fpcrtl_flush(FILE *f) {

   222 void __attribute__((overloadable)) fpcrtl_flush(FILE *f) {

   224     fflush(f);

   223     fflush(f);

   225 }

   224 }