% SZS status Timeout for HEX__def_c
