Adding old exp for vmlaunch, also one exp from i3 2440