#ifndef _NAS_RANDH
#define _NAS_RANDH

#include	<stdio.h>

void nas_srand();
int nas_rand();

#endif