[PATCH] wdscore: Fix the name of the WdsIterate*() stubs.