In file included from ./badinc3.svx:3:
In file included from ./badinc2.svx:3:
./badinc.svx:3:10: error: Couldn't open file "nonexistent_file"
 *include nonexistent_file
          ^~~~~~~~~~~~~~~~
cavern: error: No survey data
