ALIGN_DOUBLE      209 gc/include/private/gc_priv.h #  define ALIGN_DOUBLE
ALIGN_DOUBLE      216 gc/include/private/gc_priv.h #  define ALIGN_DOUBLE
ALIGN_DOUBLE      871 gc/include/private/gcconfig.h #   define ALIGN_DOUBLE
ALIGN_DOUBLE     1007 gc/include/private/gcconfig.h #     define ALIGN_DOUBLE /* Not strictly necessary, but may give speed   */
ALIGN_DOUBLE     1372 gc/include/private/gcconfig.h #	    define ALIGN_DOUBLE
ALIGN_DOUBLE     1376 gc/include/private/gcconfig.h #	  define ALIGN_DOUBLE
ALIGN_DOUBLE     1445 gc/include/private/gcconfig.h #     define ALIGN_DOUBLE
ALIGN_DOUBLE     1605 gc/include/private/gcconfig.h #         define ALIGN_DOUBLE
ALIGN_DOUBLE     1613 gc/include/private/gcconfig.h #   	  define ALIGN_DOUBLE
ALIGN_DOUBLE     1641 gc/include/private/gcconfig.h #   	define ALIGN_DOUBLE
ALIGN_DOUBLE     1706 gc/include/private/gcconfig.h #   define ALIGN_DOUBLE