DB<7> x (1..5)[-1]
0  5
  DB<8>