type msg = string
type t =
  1. | KineticError of int * msg
  2. | Generic of string * int * msg
  3. | Timeout of float * msg
  4. | Assert of msg