KLEE_06_PART (1)