Constant SAVER_NAVIGATIONMODEL 

pub const SAVER_NAVIGATIONMODEL: BUGCHECK_ERROR;