case UINTN to UINT32.