String Formatting Function In Python Definition Library