let verbatim s = string s