cchannel.h for Terminal Svr VChannel?

I want to do some development in C++ using Terminal Server Virtual Channels. I’ve found some documentation on the API but can’t find where the headers come from. Any ideas?

David Brown