Update stdlib.js