Add SLICE tests, SLICE_0 impl