split ml_copying_gc, also general progress