A template library