Random cleanup: No need to use a std::vector here, since createInternalizePass uses an ArrayRef.