Yeah, we're using vkd3d_d3d12shader.h here, so we're not too concerned about what the Microsoft headers do.
Ah, I see. Well, given that vkd3d is mostly concerned with D3D12 (so far, at least)
That's true for libvkd3d, but note that it's not quite the case for libvkd3d-shader and libvkd3d-utils.