The end of D Devito