KTESTZ/home/mark/Projects/School/test-harness/target/debug/deps/test_harness-5e63956e876ca3be.ll__klee_task_idÿapp::resources::aapp::resources::b