These are the hand-generated protocol files, for reference while debugging.