Parsing JSON in Forty Lines of Awk

A single-function JSON parser for the POSIX shell.