A mailbox plug-in for the Runsafe Framework