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