Notes concerning “The Veskeno virtual machine”