// transfers ownership of |s| from child to parent
ThanksDone(Shmem s);
};
'''WARNING''': there's currently a bug in the IPDL compiler that needs to be worked around (the bug should be fixed "soon"). If you use Shmem in a managed (i.e. not top-level) protocol, then the top-level protocol needs to use Shmem as well. You can work around this with the following hack
protocol TopLevel {
parent: Dummy(Shmem _);
// etc.
};