Renamed STLs, shorter names