Create vera.lua