KLEE_06_PART (3)