#ifndef lint
static char Version[] = "@(#)vers.c e07@nikhef.nl (Eric Wassenaar) 951231";
#endif
char *version = "951231";
#if defined(apollo)
int h_errno = 0;