Multithreaded programs using mailboxes