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.