x = 0
for (a = 0; a < 13; ++a) {
  if (a == 7) {
    if (!x) {
      this.__defineSetter__("x", Object.defineProperties)
    }
  }
}