while (true) {
    Local_section(1);
    K1 = 0;
    while (K2 != 1) {
      K1 = 1;
      K1 = 0;
    }
    Critical_section(1);
    K1 = 1;
  }

  while (true) {
    Local_section(2);
    K2 = 0;
    while (K1 != 1) {
      K2 = 1;
      K2 = 0;
    }
    Critical_section(2);
    K2 = 1;
  }