KLEE_04_PART (5)