def json2(): return web.jsonify(a=1, b=2, c=[3, 4, 5])
def json1(): return web.jsonify(dict(a=1, b=2, c=[3, 4, 5]))