char __attribute__ ((aligned(4))) somedata [] = {
0x00. 0x01. etc };