sig
  type rpolicy = [ `Balanced of int ]
  type transacted_datastores = {
    td_idlist : int list;
    td_safetrans_id : int64;
    td_safetrans_secret : int64;
    td_safetrans_tmo : int64;
  }
  exception No_space
end