vmdef.lua
