JSON construction and parsing, including via push parser