w32kdll_2k3sp2.S main.c