Garvin, Edwin L. No.—, original, in Supreme Court, Oct. term, 1922, United States v. Edwin L. Garvin, district judge of district court for eastern district of New York; district of New York; motion for leave to file petition for writ of prohibition or mandamus [and petition].