Public laws, 80th Congress. 426. H. R. 4127, act to amend Civil service retirement act of May 29, 1930, as amended.