1  #include <stdint.h>
       2  
       3  int
       4  is_64bit_aligned (uintptr_t a)
       5  {
       6    return ( (a & 0x3f) == 0);
       7  }