[{integer, "7"}, end_json].