yeah. Got the files from waybackbmachine also (and they matched the copy I had from earlier), it's just a shame that several documents with later revisions are mentioned in some places, and I can't find them.
Small remark about your code: you may want to force the types that are in the structs in vxi11core.h (int, u_int, u_bool, u_char, etc) to all 32 bit, and pack them. Am doing roughly the same as you do, but in zephyr.