dprintf0
dprintf0("# assert() at %s::%d test_nr: %d iteration: %d\n", \
dprintf0("# errno at assert: %d\n", errno); \
dprintf0("# non-PK si_code: %d, exiting...\n", si->si_code);
dprintf0("# unexpected PKey fault: %s\n", msg); \