external exit : unit -> unit = "alut_exit"