KLEE_06_PART (4)