object method add_memory : Netsys_types.memory -> unit method add_substring : string -> int -> int -> unit method finish : unit -> string end