sig
  module Callers : Plugin.BOOL
  module Calls : Plugin.INT
  module SliceUndef : Plugin.BOOL
  module KeepAnnotations : Plugin.BOOL
end