int j_serial= 161;
char *j_version= "990225.1746";
char *j_date= "Thu Feb 25 20:48:44 MET 1999";
char *j_cc_version= "gcc version egcs-2.91.60 19981201 (egcs-1.1.1 release)";
char *j_ux_version= "Linux pingu.inria.fr 2.0.36 #1 Tue Oct 13 22:17:11 EDT 1998 i686 unknown";