Constant SAVER_AUXILIARYFULLDUMP 

pub const SAVER_AUXILIARYFULLDUMP: BUGCHECK_ERROR;