Update stdio.py