House reports on public bills, 87th Congress. 422. Status of circuit and district judges retired from regular active service. Report from Committee on Judiciary to accompany H.R. 5255.