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