“United States attorney” substituted in text for “district attorney of the United States” on authority of act June 25, 1948. See section 541 of Title 28, Judiciary and Judicial Procedure.