(433:if-strict-ne
  (429:get-slot 14
    (428:get-global-scope))
  (431:get-local 11)
  (437:push-short (integer 0))
  (448:if-strict-ne
    (444:get-slot 28
      (443:get-global-scope))
    (446:get-local 11)
    (452:push-short (integer 1))
    (463:if-strict-ne
      (459:get-slot 29
        (458:get-global-scope))
      (461:get-local 11)
      (467:push-short (integer 2))
      (478:if-strict-ne
        (474:get-slot 30
          (473:get-global-scope))
        (476:get-local 11)
        (482:push-short (integer 3))
        (493:if-strict-ne
          (489:get-slot 31
            (488:get-global-scope))
          (491:get-local 11)
          (497:push-short (integer 4))
          (508:if-strict-ne
            (504:get-slot 32
              (503:get-global-scope))
            (506:get-local 11)
            (512:push-short (integer 5))
            (523:if-strict-ne
              (519:get-slot 11
                (518:get-global-scope))
              (521:get-local 11)
              (527:push-short (integer 6))
              (534:if-false
                (533:push-false (false))
                (538:push-short (integer 7))
                (544:push-short (integer 7))))))))))