KLEE_08_PART (4)