sat_si_undef_zero_fail.pat 85 Bytes