La denominación M4, se le supone a Colt, no sé si a algún otro fabricante más, a Bushmaster tal vez y a algún otro, los expertos en M4 ya me corregirán; mientras que el HK416 es de Heckler & Kock y el fabricante, y que yo sepa, nunca se ha referido a él como M4; del mismo modo que si lo hubiera fabricado Knight Armament, se llamaría Stoner Rifle; todos ellos basados en el diseño pleistocénico del AR-15, si no me equivoco.