Defining VMs in terse .txt file