Rewrite >= old version without syzygy.