61a292860de6 ("batman-adv: Annotate bitwise integer pointer casts")