KLEE_08_PART (3)