WRITE_64BIT_DATA  569 maint/gnulib/lib/des.c     WRITE_64BIT_DATA (to, right, left)
WRITE_64BIT_DATA  658 maint/gnulib/lib/des.c     WRITE_64BIT_DATA (to, right, left)