refactoring only, created Runner::defval_to_vm()