I need a watchdog with a very short timeout of only a few milliseconds. Therefore, I'm using WDOG3, since it supports an appropriately low timeout (the comment in the example appears to be incorrect—the timeout values are actually given in milliseconds).
Because the watchdog remains enabled...