sig
  module Callers : Plugin.Bool
  module Calls : Plugin.Int
  module SliceUndef : Plugin.Bool
  module KeepAnnotations : Plugin.Bool
end