(module
 (type $[mut:f64] (array (mut f64)))
 (type $none_=>_none (func))
 (func $0
  (local $0 i32)
  (local $1 i32)
  (local $2 (ref null $[mut:f64]))
  (local $3 (ref null $[mut:f64]))
  (local $4 (ref null $[mut:f64]))
  (drop
   (local.get $0)
  )
  (block
   (local.set $2
    (array.new_with_rtt $[mut:f64]
     (f64.const 3.14159)
     (i32.const 1)
     (rtt.canon $[mut:f64])
    )
   )
   (block
    (drop
     (ref.as_non_null
      (local.get $2)
     )
    )
    (drop
     (local.get $0)
    )
    (block
     (local.set $3
      (array.new_with_rtt $[mut:f64]
       (f64.const 1234)
       (i32.const 2)
       (rtt.canon $[mut:f64])
      )
     )
     (block
      (drop
       (ref.as_non_null
        (local.get $2)
       )
      )
      (drop
       (ref.as_non_null
        (local.get $3)
       )
      )
      (drop
       (local.get $0)
      )
     )
    )
   )
  )
  (block
   (local.set $4
    (array.new_with_rtt $[mut:f64]
     (f64.const 2.1828)
     (i32.const 3)
     (rtt.canon $[mut:f64])
    )
   )
   (block
    (drop
     (ref.as_non_null
      (local.get $4)
     )
    )
    (drop
     (local.get $0)
    )
   )
  )
  (drop
   (local.get $0)
  )
 )
)