%FILES%
usr/
usr/lib/
usr/lib/debug/
usr/lib/debug/.build-id/
usr/lib/debug/.build-id/04/
usr/lib/debug/.build-id/04/fe586099a4d8294a1df759afb85be4e0b44b30
usr/lib/debug/.build-id/04/fe586099a4d8294a1df759afb85be4e0b44b30.debug
usr/lib/debug/.build-id/66/
usr/lib/debug/.build-id/66/c002a69ff5b6a84ebd8434bdc53bbe3155fe41
usr/lib/debug/.build-id/66/c002a69ff5b6a84ebd8434bdc53bbe3155fe41.debug
usr/lib/debug/.build-id/8e/
usr/lib/debug/.build-id/8e/327ca5c8a219a31fcb25a1fc17258359455d2c
usr/lib/debug/.build-id/8e/327ca5c8a219a31fcb25a1fc17258359455d2c.debug
usr/lib/debug/.build-id/9c/
usr/lib/debug/.build-id/9c/d10e5112259093e91d04d0a0fe702af7928634
usr/lib/debug/.build-id/9c/d10e5112259093e91d04d0a0fe702af7928634.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/
