Move declarations of pr and dedtypesX to here.