KLEE LOOKS FOR SMTH