Welcome to the world of 32-bit devices