preserve our customizations, where necessary.
defined. These help with processing coverage and profile data.