> KLEE: WARNING ONCE: flushing 7152 bytes on read, may be slow and/or crash: > MO641[7152] allocated at zcalloc(): %2 = tail call noalias i8* @malloc(i64 > %1) nounwind, !dbg !5048 Sorry, I meant to say that Klee segfaults immediately after printing this. John