sat_si_undef_zero_fail.ys 70 Bytes