A toolkit for WDK