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)