% SZS status Timeout for HEX__def_
