wrapper to fflush #include void FlushStdOutC() { fflush(stdout); } with definition part like DEFINITION MODULE FOR "C" FlushStdOut; EXPORT UNQUALIFIED FlushStdOutC; PROCEDURE FlushStdOutC(); (* flush the "C" standard output unit "stdout" () *) END FlushStdOut.