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_Var10;

DECLARE_ALIGNED(64, uint32_t, Aligned32_Var11);

/*
uint8_t NoAligned_Var12 = 8;
DECLARE_ALIGNED(32, uint32_t, Aligned32_Var13) = 32;
*/


uint8_t NoAligned_Var14;

alignas(64) uint32_t Aligned64_Var15;

uint8_t NoAligned_Var16 = 0;

alignas(64) uint32_t Aligned64_Var17 = 32;


void main (void)
{
    ;
}