use ALIGNED() macro from compiler.h