"Receiver mistakenly went to catch clause (after the on_exit function was called)");
xbt_assert(not returned_from_main,
"Receiver returned from main normally even though its host was killed");
"Receiver mistakenly went to catch clause (after the on_exit function was called)");
xbt_assert(not returned_from_main,
"Receiver returned from main normally even though its host was killed");