vars test generator
vars.mvm succ
vars.mvm succ