sat_si_def_undef_zero_fail.ys 84 Bytes