The Extensible Template Library