Actually don't generate int vectors from these templates. We'll get
another set of templates for int/long/short/byte vectors eventually.