KLEE_06_PART (2)