DB<6> x @x
  empty array
  DB<7> $x[9]=1

  DB<8> p keys @x
0123456789
  DB<9> delete $x[9]

  DB<10> p keys @x

  DB<11>