{"known":["cs:execute","javascript:execute","run"], "comment":"handwritten trace; running javascript produces different prefixes on trace."}