A DSL for streaming JSON processing