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