From: gah@ugcs.caltech.edu   
      
   Andy Johnson wrote:   
   > To answer your question about labels, they aren't implemented in the Java   
   > bytecode at all.  Label points are derived from destinations of branch   
   > points.  If you need to know which bytecodes are reachable via branching,   
   > you have to synthesize the bytecodes.   
      
   I wonder how much easier code verification would be if branch points   
   had to be specified explicitly.   
      
   I am remembering programmable calculators with the LABEL instruction,   
   which in most cases was done as a linear search through program   
   memory for a label.   
      
   -- glen   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)