KLEE_06_PART (7)