verbatim instead of cryptol comment