Simple Driver code for vmlaunch