function reverse (s : string) : string
    if s = "" then
        result s
    else
        result reverse (s (2 .. *)) + s (1)
    end if
end reverse

put reverse ("recursive example")
put reverse (reverse ("recursive example"))