KLEE GUIDE