Amending Civil service retirement act of May 20, 1930, hearings, 84th Congress, 2d session on H. R. 4124, July 18, 1956.