Use __noreturn__ and __const__ attributes rather than const and volatile qualifiers.