Patched Lua 5.1 programming language