Update mailbox.h