KLEE_03_PART (2)