procedure repl(s, n)
    every (ns := "") ||:= |s\(0 <= n)
    return ns
end