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