While working on Bug 640711, I needed to traverse the dynamic own properties of an object. I was pretty frustrated when I tried to figure out how to do the traversal by reading the documentation for nextNameIndex and nextName. It is not clear in the documentation for the individual opcodes in AVM2 Overview, for example, how one starts off the iteration, because it does not say there that 0 is a valid input index. (I think the situation may have been described more clearly in some paragraph I found in the introductory sections of the document, but I cannot find that paragraph now, so I'm going to file this bug and look into the situation more carefully later.)

(this is really somebody else's problem at this point; I'm handing off to Paul because I know he's been looking at the bytecode spec recently.) The VM team may well resolve as "wontfix".

Tamarin isn't maintained anymore. WONTFIX remaining bugs.