#include <stdio.h>

/*
**- SUBROUTINE FLUSH_STD()
**- flushes standard output
*/
void flush_std_()
{
  fflush(stdout);
  return;
}