United States code (Washington Government Printing Office, 1945)