WK_JADDREF
free_jaddref(WK_JADDREF(wk));
jaddref = WK_JADDREF(wk);
jaddref_write(WK_JADDREF(wk), jseg, data);
handle_written_jaddref(WK_JADDREF(wk));