JSON interface for Lua