exception IntegerOverflow of unit

(* TODO: remove those *)
exception Unimplemented of string

let unimplemented msg = raise (Unimplemented ("unimplemented: " ^ msg))

exception Unreachable of string

let unreachable msg = raise (Unreachable ("unreachable: " ^ msg))