Add Lua instructions and verification