Name Type Inout
Type Inout Const ef
Name Type Inout err
Name Type Return
Name Type Return Trj
Out: Scope Name Type Input
Name Type Return SMC
Type Return End
Out: Scope Name Type
