object method book_allocation : Plasma_shm.shm_id -> int -> unit method new_id : unit -> Plasma_shm.shm_id method shm_condition : Plasma_shm.shm_condition end