object
  method book_allocation : Plasma_shm.id -> int -> unit
  method condition : Plasma_shm.kind -> Plasma_shm.condition
  method delayed_allocation : Plasma_shm.id -> int -> unit
  method dump : string
  method have_local_allocations : bool
  method new_id : Plasma_shm.kind -> Plasma_shm.id
  method push : unit -> unit
  method wm : Plasma_shm.kind -> Plasma_shm.watermarks
end