A concise parser and printer for JSON in Lua