int vm_serial= 32;
char *vm_date= "Wed Apr  8 19:55:11 BST 2009";
char *cc_version= "gcc 4.1.2";
char *ux_version= "Linux localhost 2.6.24.4 #9 SMP Sat Jul 19 21:31:15 BST 2008 i686 Intel(R) Core(TM)2 Duo CPU E6850 @ 3.00GHz GenuineIntel GNU/Linux";
