Type Return Check G
Type Inout add
Name Type Input pef
Type Inout Const pe
Type Inout trigger
Out: Scope Name Type Input
Out: Scope Name Type Inout
Name Type Return SMC
