Use __attribute__ directly.