Trimming down the JSON parser to the bare necessities