(we will actually need to think carefully about compatibility even to release in 4.0)