Code for the E. H. Butler Library