<module name="w32kdll_2ksp4" type="win32dll" entrypoint="0" installname="w32kdll_2ksp4.dll">
<importlibrary definition="w32kdll_2ksp4.def" />
<file>w32kdll_2ksp4.S</file>
<file>main.c</file>
</module>