Edit: json_tokener.h