add ASSERT turn in test_mailbox.cc
add while in the held