Edit: json_pointer.h