#include <stdio.h>
#include <stdlib.h>
#include <time.h>

int outbuf_(void)
{
  (void) setvbuf(stdout, NULL, _IONBF, 0);
}

int csatty_(fildes)
     int *fildes;
{
  return isatty(*fildes);
}

/* routine for  Linux rename */
int rename_(const char *from, const char *to)
{
  if (rename(from, to) !=0) perror(" rename error: ");
 
  return 0 ;
}