In file included from ./badinc2.svx:3:
./badinc.svx:3: Couldn't open file "nonexistent_file"
cavern: No survey data