/* LINTLIBRARY */
#include "stdio.h"
#include "../../m68k/Vlint.h"
#define _LINE_ID(line, file)# line file
_LINE_ID(2,"/brew/V/libc/numeric/mi/abs.c")
int abs(arg) { return (int )0; }
_LINE_ID(6,"/brew/V/libc/numeric/mi/qsort.c")
int qsort(a,n,es,fc) char *a; unsigned n; int (*fc)(); { }
_LINE_ID(4,"/brew/V/libc/numeric/mi/rand.c")
int srand(x) unsigned x; { }
_LINE_ID(13,"/brew/V/libc/numeric/mi/rand.c")
int rand() { return (int )0; }
_LINE_ID(170,"/brew/V/libc/numeric/mi/random.c")
int srandom(x) unsigned x; { }
_LINE_ID(210,"/brew/V/libc/numeric/mi/random.c")
char *initstate(seed,arg_state,n) unsigned seed; char *arg_state; { return (char *)0; }
_LINE_ID(278,"/brew/V/libc/numeric/mi/random.c")
char *setstate(arg_state) char *arg_state; { return (char *)0; }
_LINE_ID(329,"/brew/V/libc/numeric/mi/random.c")
long random() { return (long )0; }
