/// \deprecated_mitproto void DEF_NUM_VEC(Machine & machine){ machine.execute(FAB_NUM_VEC); machine.globals.push(machine.stack.pop()); }
/// \deprecated_mitproto void DEF_TUP(Machine & machine){ machine.execute(FAB_TUP); machine.globals.push(machine.stack.pop()); }