{<a name="line.60"></a>
<span class="sourceLineNo">061</span>        super(v);<a name="line.61"></a>
<span class="sourceLineNo">062</span>        assert w0 != null : "null w0";<a name="line.62"></a>
<span class="sourceLineNo">063</span>        assert w1 != null : "null w1";<a name="line.63"></a>
<span class="sourceLineNo">064</span>        assert w2 != null : "null w2";<a name="line.64"></a>
<span class="sourceLineNo">065</span>        assert w3 != null : "null w3";<a name="line.65"></a>
<span class="source