val width: int ref

val replace: bool ref

val write_srcs: string -> RecommTypes.srcs -> unit