Code Editor : json_pointer.h