klee crpc