Race condition in `space_split_mapper()` ?
Shouldn't line 1256 of space.c in function space_split_mapper(), i.e. the line
if (c->depth > s->maxdepth) s->maxdepth = c->depth;
be protected against concurrent access from different threads in the pool ?