@janl @chfour Was the question resolved in the meantime? Did your friend find what they wanted in Anna's Archive? Did the draft of the C standard solve the problem?
I will respond to a 1-year-old question if there is a chance that someone out there will want an answer and there isn't a definitive answer in the comments.