vector
vector_to_exp
vector_init
vector_fill
vector_length
vector_ref
vector_set
vector_replace
subvector
subvector_fill