handle_written_jaddref
handle_written_jaddref(WK_JADDREF(wk));
static void handle_written_jaddref(struct jaddref *);