zZzzZ.

Editing: json_pointer.h