cat: undeclared/extra.txt: No such file or directory
