mkSlice and prSlice