sig
  type exception_type =
      DIVIDE_BY_ZERO
    | OVERFLOW
    | PTRINTMATCH
    | UNDEFINEDVAR
    | ALREADYDEFINEDVAR
    | WRONGSTACKOFFSET
    | NONEMPTYCALLSTACK
    | LOCMATCH
  type except
  val exceptions : Exceptions.except list Pervasives.ref
  val exception_type2string : Exceptions.exception_type -> string
  val handleException :
    Exceptions.exception_type * Types.generic_stat_loc -> unit
  val raiseException :
    Exceptions.exception_type -> Types.generic_stat_loc -> unit
  val handleExceptions : unit -> unit
end