SAGE bindings for LLVM.