handle_written_jremref
handle_written_jremref(WK_JREMREF(wk));
static void handle_written_jremref(struct jremref *);