Unfortunately, the problem still occurs... but, by
chance, only in very special cases:
* you must reboot the machine
* load DSI
* straight after, do a PrintPolicy
==> kernel crash....
Kernel crash does NOT occur
* if something else than PrintPolicy has been called
before in DSM
* if you call something else (SetDebugLevel, or
UpdatePolicy), then unload DSM, then reload DSM.