Fixing vm execution example