The replayer currently regards the largest fresh id mentioned in any transformation as the first available overflow id. It should be the id one larger than this one.