trace_check_bounds
while (trace_check_bounds(tb, p) && p < tb->tail) {
if (!trace_check_bounds(tb, p)) {