implement dja_splice() (without elt insertion)
simplify dja_push()