klee attempt? | ScratchStats