KLEE exam pattern