taskset -c ${CPU_CORE} qemu-system-x86_64 \
   -name "Windows 10" \
   -machine q35,mem-merge=off,vmport=off \
   -accel kvm \
   -accel kvm,kernel-irqchip=on \
   -cpu host,+topoext,kvm=off,hv_spinlocks=0x1fff,hv_relaxed,hv_vapic,hv_time,hv_crash,hv_reset,hv_vpindex,hv_runtime,hv_synic,hv_stimer,hv_vendor_id=Gigabyte \
   -smp 12,sockets=1,cores=6,threads=2 \
   -global ICH9-LPC.disable_s3=1 \
   -global ICH9-LPC.disable_s4=1 \
   -m ${RAM_SIZE} \
   -mem-prealloc \
   -rtc clock=host,base=localtime,driftfix=slew \
   -global kvm-pit.lost_tick_policy=delay \
   -overcommit mem-lock=off \
   -global kvm-pit.lost_tick_policy=discard \
   -nographic \
   -vga none \
   -serial none \
   -parallel none \
   -k en-us \
   -msg timestamp=on \
   -spice port=${SPICE_PORT},disable-ticketing=on \
   -usb \
   -audio driver=pipewire,model=hda,id=snd1 \
   -device ioh3420,chassis=1,bus=pcie.0,addr=03.0,id=ioh3420-root-port-1 \
   -device ivshmem-plain,memdev=ivshmem,bus=pcie.0 \
   -object memory-backend-file,id=ivshmem,share=on,mem-path=/dev/shm/looking-glass,size=128M \
   -chardev socket,id=chrtpm,path=/var/run/emulated_tpm/swtpm-sock \
   -tpmdev emulator,id=tpm0,chardev=chrtpm -device tpm-tis,tpmdev=tpm0 \
   -object iothread,id=iothread0 \
   -netdev bridge,id=virbr0 \
   -device virtio-net-pci,netdev=virbr0,id=nic1 \
   -object input-linux,id=kbd1,evdev=${EV_KBD},grab_all=on,repeat=on,grab-toggle=alt-alt \
   -object input-linux,id=mouse1,evdev=${EV_MOUSE} \
   -device virtio-mouse-pci \
   -device virtio-keyboard-pci \
   -device vfio-pci,host=${VGA_ADDR},bus=ioh3420-root-port-1,addr=00.0,x-pci-sub-device-id=${VGA_SSID},x-pci-sub-vendor-id=${VGA_SVID},multifunction=on,x-vga=on \
   -drive file=${KVM_CODE},if=pflash,format=raw,unit=0,readonly=on \
   -drive file=${KVM_VARS},if=pflash,format=raw,unit=1 \
   -device virtio-scsi-pci,iothread=iothread0,num_queues=8,id=scsi \
   -drive file="${KVM_DISK}",index=0,media=disk,format=raw,if=none,aio=native,cache.direct=on,id=disk \
   -drive file="${KVM_DISK_2}",index=1,media=disk,format=raw,if=none,aio=native,cache.direct=on,id=disk2 \
   -device scsi-hd,drive=disk \
   -device scsi-hd,drive=disk2 \
   -drive file="${KVM_OPTI}",index=1,media=cdrom \
   -drive file="${KVM_CDRV}",index=2,media=cdrom \
   -device usb-tablet ${USB_DEVS} \
   -boot menu=on \
   -chardev stdio,mux=on,id=monitor-0 \
   -mon chardev=monitor-0 \
   -chardev socket,id=char0,path=/tmp/vhostqemu \
   -device vhost-user-fs-pci,queue-size=1024,chardev=char0,tag=Host \
   -object memory-backend-memfd,id=vfsmem,size=${RAM_SIZE},share=on \
   -numa node,memdev=vfsmem

fun for(low: int, high: int, f: int -> list<b>): list<b>
  list(low, high).flatmap(f)

fun pure(a: a): list<a>
  [a]

fun guard(a : bool, f: () -> list<a>): list<a>
  if a then f() else []

pub fun cuboid(layers: int, rows: int, cols: int): cuboid
  val coords =
    with layer <- for(0, layers)
    with row <- for(0, rows)
    with col <- for(0, cols)
    pure((layer, row, col))
  // ...