KLEE_04_PART (3)