[ChildProc=any]
sync protocol Pactorreturn {

parent:
    sync Msg(Pactorreturn p) returns (Pactorreturn r);

};