`module F = Format`
`module L = InferBase.Logging`
`module PO = BufferOverrunProofObligations`
`module Trace = BufferOverrunTrace`
`module TraceSet = Trace.Set`
`val always_strong_update : bool`

unsound but ok for bug catching

`module Val : sig ... end`
`module Stack : sig ... end`
`module Heap : sig ... end`
`module AliasTarget : sig ... end`
`module AliasMap : sig ... end`
`module AliasRet : sig ... end`
`module Alias : sig ... end`
`module PrunePairs : sig ... end`
`module LatestPrune : sig ... end`
`module MemReach : sig ... end`
`module Mem : sig ... end`
`module Summary : sig ... end`