int __dso_handle;