% SZS status Timeout for bits__bitwise__def_
