Would pump shotguns be allowed or just semi-auto?