Senate reports on public bills, 87th Congress. 742. Status of circuit and district judges retired from regular active service, and clarification of Public law 87-36. Report from Committee on Judiciary to accompany H.R. 5255.