Является ли доступ к int как unsigned long неопределенным поведением?

В книге под названием Programming Windows в одном из примеров у нас есть эта строка:

ReadFile (hFile, buffer, MAXREAD, &i, NULL) ;

i здесь было ранее объявлен как int, но 4-й аргумент ReadFile – это LPDWORD, что является определением типа для DWORD*, а DWORD – это определение типа для unsigned long. Это эффективная игра слов. В большинстве систем unsigned long и int имеют одинаковый размер, но я думаю, что доступ к переменной, как если бы это был какой-то другой тип, является неопределенным поведением. Это нормально? Это нормально, только если размеры одинаковые? Это УБ? Я проверил пару веб-сайтов с ошибками, и они, похоже, не перечисляют это. Я что-то упускаю?