{"skip":["traces"]
,"known":["run","c"]
,"languages":["c++","c++-msvc11","c++03"]
,"comment":"handwritten trace on a system component, thread safe shell, table no alpha reduction in pretty print"
,"tss":"true"}