Update stdio.js