/* Don't be alarmed; this just means we have at least 32-bits */