int vm_serial= 1;
char *vm_date= "Thu Oct 26 10:07:13 BST 2023";
char *cc_version= "/usr/bin/cc";
char *ux_version= "Linux arch-nspawn-1895766 6.1.55-1-lts #1 SMP PREEMPT_DYNAMIC Sat, 23 Sep 2023 16:57:15 +0000 x86_64 GNU/Linux";
