/* stuff.c - a template for the machine specific code */

#include <flp1_stdio_h>

/* osinit - os specific initialization */
osinit(banner)
  char *banner;
{
    printf("%s\n",banner);
}

/* osgetc - get a character from a file (or stdin) */
int osgetc(fp)
  FILE *fp;
{
    return (getc(fp));
}

/* osputc - write a character to a file (or stdout) */
int osputc(ch,fp)
  int ch;
  FILE *fp;
{
    return (putc(ch,fp));
}

/* osfinit - add os specific functions to the *obarray* */
osfinit()
{
}

/* oscheck - check for control characters */
oscheck()
{
}

/* osrand - return a random number between 0 and n-1 */
int osrand(n)
  int n;
{
    return (0);
}