object
  method random_bytes : string -> int -> int -> unit
  method wipe : unit
end