comments about using the literate cryptol