batch code for VM synthesis