https://gcc.gnu.org/bugzilla/show_bug.cgi?id=66205
--- Comment #16 from simon at pushface dot org --- I think this was actually INVALID. I’m glad to report that Arno’s notes in Comment #14 do in fact solve the problem (after supplying dummies for the parts of the standard library that aren’t actually present -- __gl_wc_encoding etc).
