to_string_hum returns the JSON context stack as a string that reads well if printed directly. That string cannot be used as a sexp atom: the backslash-escaping would render it illegible.

extract_exn returns the exception that caused the failure