FAILX
FAILX("Rights of opened file (%jx) > maximum (%jx)", \
FAILX("New capability's rights (%jx) != %jx", \
FAILX("%s:%d: Assertion '%s' failed", \
FAILX("%s() at line %d: %s succeeded; it should've failed", \
FAILX("%s() at line %d: %s succeeded; it should've failed", \
FAILX("%s:\tsucceeded when it shouldn't have" \
FAILX("%s:\tsucceeded when it shouldn't have" \
FAILX("pdgetpid succeeded");