(create {EXCEPTIONS}).die (n)

is the most portable solution which should work anywhere.

In Liberty Eiffel the most convenient and preferred way is

die_with_code (n)

-- the most common exit codes are available named:
die_with_code (exit_success_code)
die_with_code (exit_failure_code)

die_with_code is a method of ANY and therefore available anywhere.