Require Import String.
Eval compute in build_vector 4 "Hello" "how" "are" "you".