KLEE_04_PART (6)