Edit File: json_pointer.h