== Puma == 

 Onko Puma koodinimi (joka olisi sisällytettävä) vai kaupallinen tuotenimi (joka voidaan sisällyttää tai olla sisällyttämättä tähän). Erottelu näyttää olevan hieman harmaata aluetta, sillä koodinimiä käytetään yhä useammin myös tuotteiden niminä.