History json_pointer.c