13.2.12 mp:process-event-queue deprecated

mp:process-event-queue is deprecated, because it does not check its arguments. Instead, use mp:process-mailbox which accesses the mailbox (event queue) of a process safely.