char *version_array[]={
"@(#)Release 9.1.2 (revision 130)",
"@(#)Sun Aug 12 23:28:24 IDT 2007",
"@(#)",
"@(#)code.c 9.13",
"@(#)hoc.h 9.8",
"@(#)hoc.y 9.21",
"@(#)init.c 9.2",
"@(#)math.c 9.5",
"@(#)memory.c 9.2",
#ifdef MSDOS
"@(#)gamma.c 8.1",
#endif
0
};