KLEE_06_PART (6)