#include "printlib.h"

int main() {
  int x;
  while (x < 12) {
    x = x+2;
  }
  println_int(x);
	return 0;
}

// EXPECTED
// 12