The JVM Spec 4.10.2.4 version 7, last paragraph, says
A valid instruction sequence must not have an uninitialized object on the operand stack or in a loca
