KLEE_04_PART (4)