KLEE_02_PART (2)