KLEE_06_PART (5)