LLVM.FFI.Analysis

type CInt

type VerifierFailureAction