No need for PROD_CHECKLEVEL_INITIAL (was unused).