@type t() ::
  integer()
  | :IO
  | :SERIALIZATION
  | :INTEGRITY
  | :CORRUPTION
  | :INTERNAL
  | :AUTHENTICATION
  | :INVALID_ARGUMENT