Elt in bit-vector set up appropriately to data-width