Instruction Manual

Note that the function call operator for RWCString has been overloaded to take an argument of
type RWCRExpr. It returns an RWCSubString matching the expression, or the null substring if
there is no such expression.