VM skeleton with C code for UUID generation, taken from libuuid (Linux kernel code).