Sourceval exit : int -> 'a
Sourceval at_exit : (unit -> unit) -> unit