Is BYTE_ALIGNMENT supported by genmc?

hi, i am trying to use byte alignment like __attribute__((aligned(n))) to make sure i will got an address with some least bits never set. e.g. 0x5000....400. i would like to know whether it is supported here?