Improve x86-64 ALLOCATE-VECTOR- for constant lengths.