KLEE_03_PART (4)