int vm_serial= 41;
char *vm_version= "2.3";
char *vm_date= "Thu Mar 11 17:53:11 EST 1999";
char *cc_version= "gcc egcs-2.91.57";
char *ux_version= "SunOS hanta-yo.mit.edu 5.6 Generic_105181-11 sun4u sparc SUNW,Ultra-5_10";