**/
#include <stdlib.h>
+#include <stdio.h>
#include <unistd.h>
#include <string.h>
#include <check.h>
* DEAL.
*/
function();
+ /* flush writes on FILE object to file descriptor */
+ fflush(stdout);
/* restore stdout now */
if (dup2(old_stdout, 1) != 1) {
close(old_stdout);