Constant DIAG_EMPTY_SAVED_PAGE 

const DIAG_EMPTY_SAVED_PAGE: DiagSavedBadPage;