DTRACE_JSON_STRING
state = DTRACE_JSON_STRING;
case DTRACE_JSON_STRING:
state = DTRACE_JSON_STRING;
state = DTRACE_JSON_STRING;
state = DTRACE_JSON_STRING;
state = DTRACE_JSON_STRING;