Update srepl.py