Sorry. I realize that Shiro already posed the same question.

While string-pad is precedent, I wonder if "pad" is the right name
for a procedure that may truncate a bitvector. "Padding" suggests
to me that the result will always be at least as long as the input.
Unless the name is changed, I lean toward returning the input vector
or making it an error if *length* is less than input length.

--
Wolfgang Corcoran-Mathe  <xxxxxx@sigwinch.xyz>