nonstandard char in python source