benchmarking some JSON implementations