reachability results after rerunning bad_allocs