5 I wonder if constructors start always with the uninitialized this in the
6 stack map table rather than having an initialized this.
10 Ok, so the verifier section has this information. It has unitialized
11 variables which are created by new which then need initialization.
15 It would be best to have distinct tops for long/double so that there is no
16 confusion as to what the values are associated with.