BufferOverrunModels.Call
val dispatch : (IR.Tenv.t, model, unit) Absint.ProcnameDispatcher.Call.dispatcher