KLEE_08_PART (2)