%FILES%
usr/
usr/lib/
usr/lib/debug/
usr/lib/debug/.build-id/
usr/lib/debug/.build-id/11/
usr/lib/debug/.build-id/11/4104133e9476fc3bd21d5d361cd645b1468358
usr/lib/debug/.build-id/11/4104133e9476fc3bd21d5d361cd645b1468358.debug
usr/lib/debug/.build-id/3c/
usr/lib/debug/.build-id/3c/e6dfa20d3daf3b2f3561a8cb63748e2022b0b2
usr/lib/debug/.build-id/3c/e6dfa20d3daf3b2f3561a8cb63748e2022b0b2.debug
usr/lib/debug/.build-id/98/
usr/lib/debug/.build-id/98/0017d7a18f30cd61f26413847d1eec3662865d
usr/lib/debug/.build-id/98/0017d7a18f30cd61f26413847d1eec3662865d.debug
usr/lib/debug/.build-id/bf/
usr/lib/debug/.build-id/bf/74d305bbbe000407ac3e1c4c8b1210db16acfe
usr/lib/debug/.build-id/bf/74d305bbbe000407ac3e1c4c8b1210db16acfe.debug
usr/lib/debug/usr/
usr/lib/debug/usr/bin/
usr/lib/debug/usr/bin/cargo-kani.debug
usr/lib/debug/usr/bin/kani-compiler.debug
usr/lib/debug/usr/bin/kani-driver.debug
usr/lib/debug/usr/bin/kani.debug
usr/src/
usr/src/debug/
usr/src/debug/kani/
