# echo.py import sys def echo( STRING="" ): ECHO=sys.stdout.write( STRING ) # sys.stdout.flush() printf=echo