topelvel, codegen: store vector_size as well