(module
 (global $g (mut i32) (i32.const 0))

 (func $test (export "test")
  ;; Loops without labels. We should not emit anything invalid here (like a
  ;; null name, which would end up identical between the two, which is wrong).
  (loop
   (loop
    ;; Some content, so the loop is not trivial.
    (global.set $g
     (i32.const 0)
    )
    (unreachable)
   )
   (unreachable)
  )
 )
)