Add RMC annotations for a Michael-Scott queue
Add RMC annotations for a Michael-Scott queue

msullivan/rmc-compiler,msullivan/rmc-compiler,msullivan/rmc-compiler,msullivan/rmc-compiler,msullivan/rmc-compiler,msullivan/rmc-compiler