Note that this includes non-portable unaligned accesses, but this already applies to surrounding code. Just add comments for now.