The GPII personalisation infrastructure's "settings handler" which uses the WMI Win32 API.