/* Dummy header for the Win32 backend. */