type key   = string
type value = string

type op =
  | Get    of key
  | Set    of key * value
  | Append of key * value
  | Strlen of key