    $a : 1
    $b : 5
    $c : 13
(module
 (type $0 (func))
 (memory $0 0)
 (func $a (type $0)
  (nop)
 )
 (func $b (type $0)
  (drop
   (loop $loop-in1 i32
    (nop)
    (i32.const 1000)
   )
  )
 )
 (func $c (type $0)
  (block $top
   (nop)
   (drop
    (i32.const 1000)
   )
   (drop
    (i32.add
     (i32.add
      (i32.const 1001)
      (i32.const 1002)
     )
     (i32.add
      (i32.const 1003)
      (i32.const 1004)
     )
    )
   )
   (br $top)
  )
 )
)