docs: function pprintSEXP(formJson, opts, indentLevel, priorNodeStr) {
    opts = opts || {};
    opts.lbracket = "(";
    opts.rbracket = ")";
    opts.separator = " ";
    opts.bareSymbols = true;
    return pprintJSON(formJson, opts, indentLevel, priorNodeStr);
  }