generalize slice(), now backend can handle it
see annotations