TRAPTR_NENT
printf("#define\tTRAPTR_NENT 0x%x\n", TRAPTR_NENT);
static trap_trace_rec_t trap_tr0[TRAPTR_NENT];
(uintptr_t)(trap_tr0 + TRAPTR_NENT), /* limit */
size_t trap_trace_bufsize = TRAPTR_NENT * sizeof (trap_trace_rec_t);