1 2 3 4 5
[ChildProc=any] intr protocol PMessageTaintedWithPassback { child: [Tainted] async foo([NoTaint=passback] int id); };