The data-locality inversion — type0 | type0