updated stdlib