A performance-oriented (but limited) implementation of the Lua 5.2 runtime in fully verifiable C#.