sat_si_def_undef_zero_fail.pat 85 Bytes