pan>     * @param w2 wrapper for nested value - should not be {@code null}<a name="line.236"></a>
<span class="sourceLineNo">237</span>     * @param w3 wrapper for nested value - should not be {@code null}<a name="line.237"></a>
<span class="sourceLineNo">238</span>     * @return a wrapper for {@code OCamlTuple4} values<a name="line.238"></a>
<span class="sourceLineNo">239</span>     */<a name="line.239"></a>
<span class="sourceLineNo">240</span>    @SuppressWarnings("unchecked")<a name="line.240"></a>
<spa