* - review of ws_manager.h code