WA_TRAPAFTER
if ((wflags & ~WA_TRAPAFTER) == 0)
(wflags & ~(WA_READ|WA_WRITE|WA_EXEC|WA_TRAPAFTER)) != 0 ||
((wflags & ~WA_TRAPAFTER) != 0 && size == 0))
if ((wflags & ~WA_TRAPAFTER) != 0) {
error = ((pwa->wa_flags & ~WA_TRAPAFTER) == 0)?
if (pwa->wa_flags & WA_TRAPAFTER)