coreutil klee test