a tool for MSDK