KLEE_07_PART (4)