void Write(MoveInt exp) { Out.Write('\t'); Out.WriteLine("li " + GetColor(exp.Dst) + ", " + exp.Src); }
void print(MoveInt exp) { Out.WriteLine("MoveI " + exp.Dst + ' ' + exp.Src); }