ics_opal_mangle_server
server = ics_opal_mangle_server(wanted_server);
server = ics_opal_mangle_server(server);
int server = ics_opal_mangle_server(xics_default_server);