initial attempt at literate protocol syntax