KLEE_01_PART (6)