Change the length of the vcd-wiremap array.
In the execution this resizes (to grow or shrink) the underlying Common Lisp array. The logical definition is based on resize-list:
Function:
(defun resize-vcdwires$a (stobjs::i vcd-wiremap$a) (declare (xargs :guard (vcd-wiremap$ap vcd-wiremap$a))) (resize-list vcd-wiremap$a stobjs::i '((name . "") (msb . 0) (lsb . 0) (code . ""))))