Out: Scope Name Type
Type Inout uqDst Dyn
Name Type Inout
Name Type Return Get
Type Inout trace
Type Inout Const pe
Name Type Return Trj
Out: Scope Name Type Inout
Name Type Return