KLEE_07_PART (2)