LLVM.FFI.Analysis
type
VerifierFailureAction