public boolean Check(Mem_Step s, Machine mem) {
   return (s.RIxx_1()
           || s.BIxx_1()
           || s.IIxx_1()
           || s.LIxx_1()
           || s.ROxx_1()
           || s.BOxx_1()
           || s.IOxx_1()
           || s.LOxx_1())
       && s.Empty_2();
 }