KLEE_02_PART (4)