a question in linkwithuclibc

[Qixue Xiao]

In function linkWithUclibc in klee main.cpp, there is a code snippet
to strip of asm prefixes for 64 bit version.I want to hown how result
in this case in my program. and how to avoid it.

And there is a segment fault when klee run this case to strip lseek64
function, as follows:

KLEE: [xqx]uclibc: setenv
KLEE: [xqx]uclibc: die_if_ferror
KLEE: [xqx]uclibc: die_if_ferror_stdout
KLEE: [xqx]uclibc: xlseek
KLEE: [xqx]uclibc: lseek64

0 klee 0x0000000000d6eccf
1 klee 0x0000000000d6f1d9
2 libpthread.so.0 0x00002b9466875cb0
3 klee 0x0000000000d134e0 llvm::Value::getName() const + 0
4 klee 0x000000000054787d main + 7725
5 libc.so.6 0x00002b94674ba76d __libc_start_main + 237
6 klee 0x000000000053f0f9
Segmentation fault (core dumped)