typedef unsigned char  uint8_t;
typedef unsigned short uint16_t;
typedef unsigned int   uint32_t;
#define DECLARE_ALIGNED(n,t,v)      t __attribute__ ((aligned (n))) v


uint8_t NoAligned_Var1;
DECLARE_ALIGNED(64, uint32_t, Aligned32_Var2);

/*
uint8_t NoAligned_Var3 = 8;
DECLARE_ALIGNED(32, uint32_t, Aligned32_Var4) = 32;
*/
/*
uint8_t NoAligned_Var5;
alignas(64) uint32_t Aligned64_Var6;
uint8_t NoAligned_Var7 = 0;
alignas(64) uint32_t Aligned64_Var8 = 32;
*/

uint8_t NoAligned_Var9;