Current testing:
bool alloc_after_mark_start = addr >= top_at_mark_start;

which is wrong, should be:
bool alloc_after_mark_start = addr > top_at_mark_start;