On Mon, Apr 29, 2019 at 01:02:31PM +0100, Edward Cree wrote: > ... are some bitwise ops on the values (bitwise ops are legal in any > endianness) and incrementation of the pointers (which cares only about > the pointee size, not type). Oh, true. That is why the underlying annotation is called __bitwise :) I'll take my previous comment back.