<div dir="ltr">Hi!<br><br>I'm wondering how values stored in ExitCode "get to" the RTS (i.e. actually make the program exit with the given number).<br><br>As far as I can tell ExitCode is used as an everyday normal-looking exception (which are defined entirely in "library code", by using the raise#/catch# primitives), without any direct link to the RTS. <br><br>What am I missing?<br><br>======<br>Georgi</div>