KLEE_02_PART (5)