% SZS status Timeout for zero__properties_c
