KLEE_01_PART (4)