KLEE_08_PART (1)