Hi there, Could someone help me understand the implementation of erlang:exit/1? BIF_RETTYPE exit_1(BIF_ALIST_1) { BIF_P->fvalue = BIF_ARG_1; /* exit value */ BIF_ERROR(BIF_P, EXC_EXIT); } which is pretty simple and I am not sure how it propagates the exit signal. erlang:exit/2 on the contrary is full of details. Thanks, Leo