typedef int aligned_int __attribute__((aligned(128)));
こういう文法を使いつづけるほうが良いと？