void _lib_web_launchBrowser(string url);
