+ "NULL-TERMINATED-VECTOR" "VECTOR-READER-FUNCTION"
+ "VECTOR-WRITER-FUNCTION" "VECTOR-REF-BYTE" "VECTOR-REF-INT-16"
+ "VECTOR-REF-UINT-16" "VECTOR-REF-INT-32" "VECTOR-REF-UINT-32"
+ "VECTOR-REF-INT-64" "VECTOR-REF-UINT-64" "VECTOR-REF-DOUBLE-FLOAT"
+ "VECTOR-REF-SINGLE-FLOAT" "UNBOXED-VECTOR")