multiple blocks can have the same label. Is this correct?

[wanderer]

multiple blocks can have the same label. Is this correct behavior?
example

(module
  (start $main)
  (func $main 
    (block $0 
        (block $0 
         (br $0)
        ))))

[kripken]

I believe so. The name is scoped, so the br sees the closest one to it, basically.

[rossberg]

Right, labels simply use ordinary lexical scoping.