(module $countnegative.wasm
  (type (;0;) (func (param i32 i32)))
  (type (;1;) (func))
  (type (;2;) (func (param i32)))
  (type (;3;) (func (result i32)))
  (import "__pragma" "loopbound" (func $__pragma_loopbound (type 0)))
  (func $__wasm_apply_data_relocs (type 1))
  (func $countnegative_initialize (type 2) (param i32)
    (local i32 i32 i32 i32)
    i32.const 20
    i32.const 20
    call $__pragma_loopbound
    i32.const 20
    i32.const 20
    call $__pragma_loopbound
    i32.const 20
    i32.const 20
    call $__pragma_loopbound
    i32.const 20
    i32.const 20
    call $__pragma_loopbound
    i32.const 20
    i32.const 20
    call $__pragma_loopbound
    i32.const 20
    i32.const 20
    call $__pragma_loopbound
    i32.const 20
    i32.const 20
    call $__pragma_loopbound
    i32.const 20
    i32.const 20
    call $__pragma_loopbound
    i32.const 20
    i32.const 20
    call $__pragma_loopbound
    i32.const 20
    i32.const 20
    call $__pragma_loopbound
    i32.const 20
    i32.const 20
    call $__pragma_loopbound
    i32.const 20
    i32.const 20
    call $__pragma_loopbound
    i32.const 20
    i32.const 20
    call $__pragma_loopbound
    i32.const 20
    i32.const 20
    call $__pragma_loopbound
    i32.const 20
    i32.const 20
    call $__pragma_loopbound
    i32.const 20
    i32.const 20
    call $__pragma_loopbound
    i32.const 20
    i32.const 20
    call $__pragma_loopbound
    i32.const 20
    i32.const 20
    call $__pragma_loopbound
    i32.const 20
    i32.const 20
    call $__pragma_loopbound
    i32.const 20
    i32.const 20
    call $__pragma_loopbound
    i32.const 20
    i32.const 20
    call $__pragma_loopbound
    i32.const 0
    i32.const 0
    i32.load offset=1024
    i32.const 133
    i32.mul
    i32.const 81
    i32.add
    i32.const 8095
    i32.rem_s
    i32.store offset=1024
    i32.const 0
    i32.load offset=1024
    local.set 1
    i32.const 0
    i32.const 0
    i32.load offset=1024
    i32.const 133
    i32.mul
    i32.const 81
    i32.add
    i32.const 8095
    i32.rem_s
    i32.store offset=1024
    i32.const 0
    i32.load offset=1024
    local.set 2
    i32.const 0
    i32.const 0
    i32.load offset=1024
    i32.const 133
    i32.mul
    i32.const 81
    i32.add
    i32.const 8095
    i32.rem_s
    i32.store offset=1024
    i32.const 0
    i32.load offset=1024
    local.set 3
    i32.const 0
    i32.const 0
    i32.load offset=1024
    i32.const 133
    i32.mul
    i32.const 81
    i32.add
    i32.const 8095
    i32.rem_s
    i32.store offset=1024
    i32.const 0
    i32.load offset=1024
    local.set 4
    i32.const 0
    i32.const 0
    i32.load offset=1024
    i32.const 133
    i32.mul
    i32.const 81
    i32.add
    i32.const 8095
    i32.rem_s
    i32.store offset=1024
    local.get 0
    local.get 1
    i32.store offset=1600
    local.get 0
    local.get 2
    i32.store offset=1604
    local.get 0
    local.get 3
    i32.store offset=1608
    local.get 0
    local.get 4
    i32.store offset=1612
    i32.const 0
    i32.load offset=1024
    local.set 1
    i32.const 0
    i32.const 0
    i32.load offset=1024
    i32.const 133
    i32.mul
    i32.const 81
    i32.add
    i32.const 8095
    i32.rem_s
    i32.store offset=1024
    local.get 0
    local.get 1
    i32.store offset=1616
    i32.const 0
    i32.load offset=1024
    local.set 1
    i32.const 0
    i32.const 0
    i32.load offset=1024
    i32.const 133
    i32.mul
    i32.const 81
    i32.add
    i32.const 8095
    i32.rem_s
    i32.store offset=1024
    local.get 0
    local.get 1
    i32.store offset=1620
    i32.const 0
    i32.load offset=1024
    local.set 1
    i32.const 0
    i32.const 0
    i32.load offset=1024
    i32.const 133
    i32.mul
    i32.const 81
    i32.add
    i32.const 8095
    i32.rem_s
    i32.store offset=1024
    local.get 0
    local.get 1
    i32.store offset=1624
    i32.const 0
    i32.load offset=1024
    local.set 1
    i32.const 0
    i32.const 0
    i32.load offset=1024
    i32.const 133
    i32.mul
    i32.const 81
    i32.add
    i32.const 8095
    i32.rem_s
    i32.store offset=1024
    local.get 0
    local.get 1
    i32.store offset=1628
    i32.const 0
    i32.load offset=1024
    local.set 1
    i32.const 0
    i32.const 0
    i32.load offset=1024
    i32.const 133
    i32.mul
    i32.const 81
    i32.add
    i32.const 8095
    i32.rem_s
    i32.store offset=1024
    local.get 0
    local.get 1
    i32.store offset=1632
    i32.const 0
    i32.load offset=1024
    local.set 1
    i32.const 0
    i32.const 0
    i32.load offset=1024
    i32.const 133
    i32.mul
    i32.const 81
    i32.add
    i32.const 8095
    i32.rem_s
    i32.store offset=1024
    local.get 0
    local.get 1
    i32.store offset=1636
    i32.const 0
    i32.load offset=1024
    local.set 1
    i32.const 0
    i32.const 0
    i32.load offset=1024
    i32.const 133
    i32.mul
    i32.const 81
    i32.add
    i32.const 8095
    i32.rem_s
    i32.store offset=1024
    local.get 0
    local.get 1
    i32.store offset=1640
    i32.const 0
    i32.load offset=1024
    local.set 1
    i32.const 0
    i32.const 0
    i32.load offset=1024
    i32.const 133
    i32.mul
    i32.const 81
    i32.add
    i32.const 8095
    i32.rem_s
    i32.store offset=1024
    local.get 0
    local.get 1
    i32.store offset=1644
    i32.const 0
    i32.load offset=1024
    local.set 1
    i32.const 0
    i32.const 0
    i32.load offset=1024
    i32.const 133
    i32.mul
    i32.const 81
    i32.add
    i32.const 8095
    i32.rem_s
    i32.store offset=1024
    local.get 0
    local.get 1
    i32.store offset=1648
    i32.const 0
    i32.load offset=1024
    local.set 1
    i32.const 0
    i32.const 0
    i32.load offset=1024
    i32.const 133
    i32.mul
    i32.const 81
    i32.add
    i32.const 8095
    i32.rem_s
    i32.store offset=1024
    local.get 0
    local.get 1
    i32.store offset=1652
    i32.const 0
    i32.load offset=1024
    local.set 1
    i32.const 0
    i32.const 0
    i32.load offset=1024
    i32.const 133
    i32.mul
    i32.const 81
    i32.add
    i32.const 8095
    i32.rem_s
    i32.store offset=1024
    local.get 0
    local.get 1
    i32.store offset=1656
    i32.const 0
    i32.load offset=1024
    local.set 1
    i32.const 0
    i32.const 0
    i32.load offset=1024
    i32.const 133
    i32.mul
    i32.const 81
    i32.add
    i32.const 8095
    i32.rem_s
    i32.store offset=1024
    local.get 0
    local.get 1
    i32.store offset=1660
    i32.const 0
    i32.load offset=1024
    local.set 1
    i32.const 0
    i32.const 0
    i32.load offset=1024
    i32.const 133
    i32.mul
    i32.const 81
    i32.add
    i32.const 8095
    i32.rem_s
    i32.store offset=1024
    local.get 0
    local.get 1
    i32.store offset=1664
    i32.const 0
    i32.load offset=1024
    local.set 1
    i32.const 0
    i32.const 0
    i32.load offset=1024
    i32.const 133
    i32.mul
    i32.const 81
    i32.add
    i32.const 8095
    i32.rem_s
    i32.store offset=1024
    local.get 0
    local.get 1
    i32.store offset=1668
    i32.const 0
    i32.load offset=1024
    local.set 1
    i32.const 0
    i32.const 0
    i32.load offset=1024
    i32.const 133
    i32.mul
    i32.const 81
    i32.add
    i32.const 8095
    i32.rem_s
    i32.store offset=1024
    local.get 0
    local.get 1
    i32.store offset=1672
    local.get 0
    i32.const 0
    i32.load offset=1024
    i32.store offset=1676)
  (func $countnegative_sum (type 2) (param i32)
    (local i32 i32 i32 i32 i32 i32 i32)
    i32.const 20
    i32.const 20
    call $__pragma_loopbound
    i32.const -1600
    local.set 1
    i32.const 0
    local.set 2
    i32.const 0
    local.set 3
    i32.const 0
    local.set 4
    i32.const 0
    local.set 5
    loop  ;; label = @1
      block  ;; label = @2
        block  ;; label = @3
          local.get 0
          local.get 1
          i32.add
          local.tee 6
          i32.const 1600
          i32.add
          i32.load
          local.tee 7
          i32.const 0
          i32.lt_s
          br_if 0 (;@3;)
          local.get 3
          i32.const 1
          i32.add
          local.set 3
          local.get 7
          local.get 5
          i32.add
          local.set 5
          br 1 (;@2;)
        end
        local.get 2
        i32.const 1
        i32.add
        local.set 2
        local.get 7
        local.get 4
        i32.add
        local.set 4
      end
      block  ;; label = @2
        block  ;; label = @3
          local.get 6
          i32.const 1604
          i32.add
          i32.load
          local.tee 7
          i32.const -1
          i32.gt_s
          br_if 0 (;@3;)
          local.get 2
          i32.const 1
          i32.add
          local.set 2
          local.get 7
          local.get 4
          i32.add
          local.set 4
          br 1 (;@2;)
        end
        local.get 3
        i32.const 1
        i32.add
        local.set 3
        local.get 7
        local.get 5
        i32.add
        local.set 5
      end
      block  ;; label = @2
        block  ;; label = @3
          local.get 6
          i32.const 1608
          i32.add
          i32.load
          local.tee 7
          i32.const -1
          i32.gt_s
          br_if 0 (;@3;)
          local.get 2
          i32.const 1
          i32.add
          local.set 2
          local.get 7
          local.get 4
          i32.add
          local.set 4
          br 1 (;@2;)
        end
        local.get 3
        i32.const 1
        i32.add
        local.set 3
        local.get 7
        local.get 5
        i32.add
        local.set 5
      end
      block  ;; label = @2
        block  ;; label = @3
          local.get 6
          i32.const 1612
          i32.add
          i32.load
          local.tee 7
          i32.const -1
          i32.gt_s
          br_if 0 (;@3;)
          local.get 2
          i32.const 1
          i32.add
          local.set 2
          local.get 7
          local.get 4
          i32.add
          local.set 4
          br 1 (;@2;)
        end
        local.get 3
        i32.const 1
        i32.add
        local.set 3
        local.get 7
        local.get 5
        i32.add
        local.set 5
      end
      block  ;; label = @2
        block  ;; label = @3
          local.get 6
          i32.const 1616
          i32.add
          i32.load
          local.tee 7
          i32.const -1
          i32.gt_s
          br_if 0 (;@3;)
          local.get 2
          i32.const 1
          i32.add
          local.set 2
          local.get 7
          local.get 4
          i32.add
          local.set 4
          br 1 (;@2;)
        end
        local.get 3
        i32.const 1
        i32.add
        local.set 3
        local.get 7
        local.get 5
        i32.add
        local.set 5
      end
      block  ;; label = @2
        block  ;; label = @3
          local.get 6
          i32.const 1620
          i32.add
          i32.load
          local.tee 7
          i32.const -1
          i32.gt_s
          br_if 0 (;@3;)
          local.get 2
          i32.const 1
          i32.add
          local.set 2
          local.get 7
          local.get 4
          i32.add
          local.set 4
          br 1 (;@2;)
        end
        local.get 3
        i32.const 1
        i32.add
        local.set 3
        local.get 7
        local.get 5
        i32.add
        local.set 5
      end
      block  ;; label = @2
        block  ;; label = @3
          local.get 6
          i32.const 1624
          i32.add
          i32.load
          local.tee 7
          i32.const -1
          i32.gt_s
          br_if 0 (;@3;)
          local.get 2
          i32.const 1
          i32.add
          local.set 2
          local.get 7
          local.get 4
          i32.add
          local.set 4
          br 1 (;@2;)
        end
        local.get 3
        i32.const 1
        i32.add
        local.set 3
        local.get 7
        local.get 5
        i32.add
        local.set 5
      end
      block  ;; label = @2
        block  ;; label = @3
          local.get 6
          i32.const 1628
          i32.add
          i32.load
          local.tee 7
          i32.const -1
          i32.gt_s
          br_if 0 (;@3;)
          local.get 2
          i32.const 1
          i32.add
          local.set 2
          local.get 7
          local.get 4
          i32.add
          local.set 4
          br 1 (;@2;)
        end
        local.get 3
        i32.const 1
        i32.add
        local.set 3
        local.get 7
        local.get 5
        i32.add
        local.set 5
      end
      block  ;; label = @2
        block  ;; label = @3
          local.get 6
          i32.const 1632
          i32.add
          i32.load
          local.tee 7
          i32.const -1
          i32.gt_s
          br_if 0 (;@3;)
          local.get 2
          i32.const 1
          i32.add
          local.set 2
          local.get 7
          local.get 4
          i32.add
          local.set 4
          br 1 (;@2;)
        end
        local.get 3
        i32.const 1
        i32.add
        local.set 3
        local.get 7
        local.get 5
        i32.add
        local.set 5
      end
      block  ;; label = @2
        block  ;; label = @3
          local.get 6
          i32.const 1636
          i32.add
          i32.load
          local.tee 7
          i32.const -1
          i32.gt_s
          br_if 0 (;@3;)
          local.get 2
          i32.const 1
          i32.add
          local.set 2
          local.get 7
          local.get 4
          i32.add
          local.set 4
          br 1 (;@2;)
        end
        local.get 3
        i32.const 1
        i32.add
        local.set 3
        local.get 7
        local.get 5
        i32.add
        local.set 5
      end
      block  ;; label = @2
        block  ;; label = @3
          local.get 6
          i32.const 1640
          i32.add
          i32.load
          local.tee 7
          i32.const -1
          i32.gt_s
          br_if 0 (;@3;)
          local.get 2
          i32.const 1
          i32.add
          local.set 2
          local.get 7
          local.get 4
          i32.add
          local.set 4
          br 1 (;@2;)
        end
        local.get 3
        i32.const 1
        i32.add
        local.set 3
        local.get 7
        local.get 5
        i32.add
        local.set 5
      end
      block  ;; label = @2
        block  ;; label = @3
          local.get 6
          i32.const 1644
          i32.add
          i32.load
          local.tee 7
          i32.const -1
          i32.gt_s
          br_if 0 (;@3;)
          local.get 2
          i32.const 1
          i32.add
          local.set 2
          local.get 7
          local.get 4
          i32.add
          local.set 4
          br 1 (;@2;)
        end
        local.get 3
        i32.const 1
        i32.add
        local.set 3
        local.get 7
        local.get 5
        i32.add
        local.set 5
      end
      block  ;; label = @2
        block  ;; label = @3
          local.get 6
          i32.const 1648
          i32.add
          i32.load
          local.tee 7
          i32.const -1
          i32.gt_s
          br_if 0 (;@3;)
          local.get 2
          i32.const 1
          i32.add
          local.set 2
          local.get 7
          local.get 4
          i32.add
          local.set 4
          br 1 (;@2;)
        end
        local.get 3
        i32.const 1
        i32.add
        local.set 3
        local.get 7
        local.get 5
        i32.add
        local.set 5
      end
      block  ;; label = @2
        block  ;; label = @3
          local.get 6
          i32.const 1652
          i32.add
          i32.load
          local.tee 7
          i32.const -1
          i32.gt_s
          br_if 0 (;@3;)
          local.get 2
          i32.const 1
          i32.add
          local.set 2
          local.get 7
          local.get 4
          i32.add
          local.set 4
          br 1 (;@2;)
        end
        local.get 3
        i32.const 1
        i32.add
        local.set 3
        local.get 7
        local.get 5
        i32.add
        local.set 5
      end
      block  ;; label = @2
        block  ;; label = @3
          local.get 6
          i32.const 1656
          i32.add
          i32.load
          local.tee 7
          i32.const -1
          i32.gt_s
          br_if 0 (;@3;)
          local.get 2
          i32.const 1
          i32.add
          local.set 2
          local.get 7
          local.get 4
          i32.add
          local.set 4
          br 1 (;@2;)
        end
        local.get 3
        i32.const 1
        i32.add
        local.set 3
        local.get 7
        local.get 5
        i32.add
        local.set 5
      end
      block  ;; label = @2
        block  ;; label = @3
          local.get 6
          i32.const 1660
          i32.add
          i32.load
          local.tee 7
          i32.const -1
          i32.gt_s
          br_if 0 (;@3;)
          local.get 2
          i32.const 1
          i32.add
          local.set 2
          local.get 7
          local.get 4
          i32.add
          local.set 4
          br 1 (;@2;)
        end
        local.get 3
        i32.const 1
        i32.add
        local.set 3
        local.get 7
        local.get 5
        i32.add
        local.set 5
      end
      block  ;; label = @2
        block  ;; label = @3
          local.get 6
          i32.const 1664
          i32.add
          i32.load
          local.tee 7
          i32.const -1
          i32.gt_s
          br_if 0 (;@3;)
          local.get 2
          i32.const 1
          i32.add
          local.set 2
          local.get 7
          local.get 4
          i32.add
          local.set 4
          br 1 (;@2;)
        end
        local.get 3
        i32.const 1
        i32.add
        local.set 3
        local.get 7
        local.get 5
        i32.add
        local.set 5
      end
      block  ;; label = @2
        block  ;; label = @3
          local.get 6
          i32.const 1668
          i32.add
          i32.load
          local.tee 7
          i32.const -1
          i32.gt_s
          br_if 0 (;@3;)
          local.get 2
          i32.const 1
          i32.add
          local.set 2
          local.get 7
          local.get 4
          i32.add
          local.set 4
          br 1 (;@2;)
        end
        local.get 3
        i32.const 1
        i32.add
        local.set 3
        local.get 7
        local.get 5
        i32.add
        local.set 5
      end
      block  ;; label = @2
        block  ;; label = @3
          local.get 6
          i32.const 1672
          i32.add
          i32.load
          local.tee 7
          i32.const -1
          i32.gt_s
          br_if 0 (;@3;)
          local.get 2
          i32.const 1
          i32.add
          local.set 2
          local.get 7
          local.get 4
          i32.add
          local.set 4
          br 1 (;@2;)
        end
        local.get 3
        i32.const 1
        i32.add
        local.set 3
        local.get 7
        local.get 5
        i32.add
        local.set 5
      end
      block  ;; label = @2
        block  ;; label = @3
          local.get 6
          i32.const 1676
          i32.add
          i32.load
          local.tee 6
          i32.const -1
          i32.gt_s
          br_if 0 (;@3;)
          local.get 2
          i32.const 1
          i32.add
          local.set 2
          local.get 6
          local.get 4
          i32.add
          local.set 4
          br 1 (;@2;)
        end
        local.get 3
        i32.const 1
        i32.add
        local.set 3
        local.get 6
        local.get 5
        i32.add
        local.set 5
      end
      local.get 1
      i32.const 80
      i32.add
      local.tee 1
      br_if 0 (;@1;)
    end
    i32.const 0
    local.get 3
    i32.store offset=2644
    i32.const 0
    local.get 5
    i32.store offset=2640
    i32.const 0
    local.get 4
    i32.store offset=2648
    i32.const 0
    local.get 2
    i32.store offset=2652)
  (func $countnegative_main (type 1)
    i32.const 1040
    call $countnegative_sum)
  (func $__original_main (type 3) (result i32)
    i32.const 0
    i32.const 0
    i32.store offset=1024
    i32.const 1040
    call $countnegative_initialize
    call $countnegative_main
    i32.const -1
    i32.const 0
    i32.const 0
    i32.load offset=2644
    i32.const 0
    i32.load offset=2640
    i32.add
    i32.const 0
    i32.load offset=2648
    i32.add
    i32.const 0
    i32.load offset=2652
    i32.add
    i32.const 1538270
    i32.ne
    select)
  (table (;0;) 1 1 funcref)
  (memory (;0;) 1)
  (global $__stack_pointer (mut i32) (i32.const 6752))
  (global (;1;) i32 (i32.const 2656))
  (global (;2;) i32 (i32.const 6752))
  (export "memory" (memory 0))
  (export "__wasm_apply_data_relocs" (func $__wasm_apply_data_relocs))
  (export "entrypoint" (func $countnegative_main))
  (export "main" (func $__original_main))
  (export "__data_end" (global 1))
  (export "__heap_base" (global 2)))
