KLEE_07_PART (6)