I thought: “nice, that’s & 0xFFFFFFFF followed by & 0xFFFF - I’ll just use the latter”.