The header is obviously being preloaded and is a part of xcpp.data but including it may or may not work 1) doesn't work  2) works  Similar can also be seen for the `cstdio` header.