https://gcc.gnu.org/bugzilla/show_bug.cgi?id=68316 --- Comment #4 from Jonathan Wakely <redi at gcc dot gnu.org> --- The documentation Marc referred to doesn't say anything about which header to use. If you followed what it says in the #error you quoted it would have worked.