debunk
debunk(xp, sp, Xnleft(*xs, xp));
XPput(*wp, debunk(start, start, end - start));
debunk((char *) alloc(len, ATEMP),
: (debunk(s, s, strlen(s) + 1), s));
XPput(*wp, debunk(p, p, strlen(p) + 1));
XPput(*wp, debunk(cp, cp, strlen(cp) + 1));
debunk(t, p, len);
char *debunk ARGS((char *, const char *, size_t));