sig val src : Dicomm.decoder -> string -> int -> int -> unit end