examples for reader/read-string