#include <stdio.h>
#include <stdlib.h>
#include <sys/time.h>
/* #define DEBUG_MALLOC */

static int count = 0;


#if defined (RS6K) || defined (RS6K35)
char *falloc(esize)
#else
char *falloc_(esize)
#endif
unsigned long *esize;
{
   char *addr;
   count += (*esize);
#if defined(DEBUG_MALLOC)
   fprintf(stderr,"falloc: Already allocated memory %ld bytes\n",count);
#endif
   if ((addr=(char *)malloc(*esize)) == NULL)
   /*if ((addr=(char *)memalign(4,*esize)) == NULL)*/
      {
        fprintf(stderr,"ERROR: Error allocating memory\n");
        fprintf(stderr,"REMEDY: Not enough memory on system for the problem\n");
        fprintf(stderr,"falloc: Already allocated memory %ld bytes\n",count);
        exit(-1);
      }

   return (char *) addr;
}

#if defined (RS6K) || defined (RS6K35)
void *ffree(addr,esize)
#else
void *ffree_(addr,esize)
#endif
unsigned long *addr;
unsigned long *esize;
{
   free((char *)(*addr));
   count -= (*esize);
   (*addr)=0;
#if defined(DEBUG_MALLOC)
   fprintf(stderr,"ffree: Still allocated memory %ld bytes\n",count);
#endif
}


#if defined (RS6K) || defined (RS6K35)
unsigned long *floc(addr)
#else
unsigned long *floc_(addr)
#endif
unsigned long *addr;
{
    return (unsigned long *) addr;
}

#if defined (RS6K) || defined (RS6K35)
void *flush()
#else
void *flush_()
#endif
{
   fflush(NULL);
   fflush(stderr);
   fflush(stdout);
}

#if defined (RS6K) || defined (RS6K35)
double elapsed()
#else
double elapsed_()
#endif
{
struct timeval tp;

gettimeofday(&tp, (struct timezone*)0);

return (double) ((unsigned) tp.tv_sec+ (unsigned) tp.tv_usec*0.000001);
}