produces:
vtools_vpatch_newline (vtools) vtools/src/character_io.ads
consumes: