KLEE_03_PART (3)