Basic autogenerated definition for vectors.
Merged with upstream.