object
  method propagate : string -> string -> int64
  method update : string -> int64 -> (string * int64) option
end