KLEE_08_PART (5)