new-style string formatting in stl.py