KLEE_07_PART (5)