Module Expr Str Assign NameStore ListLoad TupleLoad Str Str TupleLoad Str Str
N/A N/A 
tracemultiplexer test - with graphics because this is a model for analysis
 N/A cases N/A N/A Generate graph for synchronized threads that use tracelock pmv tracemultiplexer N/A Generate graph for *un*synchronized threads that *ignore* tracelock pmv -m 300 unsynchronized tracemultiplexer