(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))))))))))