Correct #[always_inline] -> #[inline(always)] and __attribute((...)) -> __attribute__((...)).