Out: Scope Name Type
Name Type Return SMC
Out: Scope Name Type Input
Name Type Input p
Out: Name Type w