Dear Marc, Vyzo wonders if you can use this to implement /regexp/ syntax. My spontaneous guess is that I guess so, but I have no idea how the |read| procedure should be written in order to read a string, with normal escaping, up to the ending #\/ char? Feel free to provide an example. The same example then could be used to read #"string" if anyone would be interested. Thanks!