Updated stdlib