ATF Firearms Enforcement Officer Jeffrey Bodell listed each of the five open-bolt semi-autos as a “suspected machinegun.”