Hackernews posts about KLEE