./badinc.svx:3:26: error: Couldn't open file "nonexistent_file"
cavern: error: No survey data