corePckg: Package = ...