Rename int_vectors.c to int_vectors.S