Debug.LSP_IO
val read_line : string -> unit
val read_bytes : bytes -> int -> int -> unit
val write : string -> unit