Double checking -- in the `dup` case is it the `ref` that is supposed to have the length of 1 or similarly to the `ins` it should've been `alt`?