Thank for your help. klee works on my environment now. -- ChangZhuo Chen (陳昌倬) <czchen at gmail.com> Key fingerprint = EC9F 905D 866D BE46 A896 C827 BE0C 9242 03F4 552D