mergeInto(LibraryManager.library, {
    redirectTo: function(url) {
        window.location.href = UTF8ToString(url);
    }
});