public Object clone() {
			try {
				VerifyInfo result = (VerifyInfo) super.clone();
				result.stack = (Type[]) stack.clone();
				result.locals = (Type[]) locals.clone();
				return result;
			} catch (CloneNotSupportedException ex) {
				throw new AssertError("Clone not supported?");
			}
		}