KLEE_02_PART (3)