32 world: UINTN does not compare well with UINT64