HeadSpin.h pulls in `stdint.h` instead of `cstdint`. Is there any difference between the two? I'd really like to just pull in one of the two.