District of Columbia code (U.S. Government Printing Office, 1952)