synch does not work inside mailbox_receive