Added stdlib import to exts