JsnPrsr: A Lean JSON Parser