Symbol: DTRACE_JSON_STRING