if (M >= 0)
  S1();