Name: akC45999 Date: 10/28/96


The section "6.4 The Virtual machine instruction set" of The Java Virtual Machine,
subsection dup_x1 claims:

"The dup_x1 instruction must not be used unless each of word1 and word2 is a word that contains a 32-bit data type".

Meanwhile, following test passes the verification:
-----------------------------------------------------------------
public class dup_x100202 {

public static Method run:"([Ljava/lang/String;Ljava/io/PrintStream;)I"
stack 6 locals 3
{
lconst_1;
dup_x1;
iconst_0;
ireturn;
}

}
-----------------------------------------------------------------

======================================================================