kint with llvm3.1