for some insight into the kinds of issues that may arise when trying to use modules and also mixing headers from different sources, look at this recent post on cfe-dev:
<http://lists.llvm.org/pipermail/cfe-dev/2020-May/065421.html> This issue looks like it may take some work... k
