These functions are defined in $pu/vector-fix.sl resp the vector-fix module.
(mkwords N:integer): vector expr
Allocates a vector of N words with all elements initialized to zero.
(truncatevector V:vector I:integer): vector expr
Truncates V to I elements.
(truncatewords V:words I:integer): vector expr
Truncates V to I elements.
(getwords WRD:words I:integer): any expr
Retrieves the I’th entry of WRD.
(putwords WRD:words I:integer VAL:any): any expr
Store VAL at I’th position of WRD.
(upbw V:words): integer expr
Returns the upper limit of words V.