Reverse String - Lean | SlaveCode