sig
  type t = stored_atomic_value_list
  type encoded_type = char array
  val encode : t -> encoded_type
  val decode : encoded_type -> t
end