use correct __attribute__