libc/stdlib/malloc-simple/alloc.c is not built for klee-uclibc config: +# MALLOC_SIMPLE is not set -> INVALID