let
verbatim s = string s