anchor.diff:   *
    * Examples:
    *
  - *    var encoded = JSON.encode([1, 2, { "a": null }]);
  - *    var decoded = JSON.decode('["foo", { "bar": 499 }]');
  + *     var encoded = JSON.encode([1, 2, { "a": null }]);
  + *     var decoded = JSON.decode('["foo", { "bar": 499 }]');
    */
   const JsonCodec JSON = const JsonCodec();
   
  
positive.code:    *
     * Calls [addChunk] with slices of UTF-8 code units.
     * These will typically have size [bufferSize], but may be shorter.
     * The buffers are not reused, so the [addChunk] call may keep and reuse
     * the chunks.
     *
     * If [indent] is non-`null`, the result will be "pretty-printed" with
     * extra newlines and indentation, using [indent] as the indentation.
     */
    static void stringify(Object object,
                          List<int> indent,
  
negative.code:    * Converts [object] to a JSON [String].
     *
     * Directly serializable values are [num], [String], [bool], and [Null], as
     * well as some [List] and [Map] values. For [List], the elements must all be
     * serializable. For [Map], the keys must be [String] and the values must be
     * serializable.
     *
     * If a value of any other type is attempted to be serialized, the
     * `toEncodable` function provided in the constructor is called with the value
     * as argument. The result, which must be a directly serializable value, is
     * serialized instead of the original value.
     *
     * If the conversion throws, or returns a value that is not directly
     * serializable, a [JsonUnsupportedObjectError] exception is thrown.
  