let freshname_possible x = let d = (Filename.dirname x) in (*prerr_endline ("freshname_possible: x="^x^" d="^d) ; *) (dir_writable d)