title: extract char from string
body: <p>Having a string <code>HelloHello</code> how can I extract (i.e. omit) the first char, to have <code>elloHello</code>?</p>
  
  <p>I've thought of <code>.at()</code> and <code>string[n]</code> but they return the value and don't delete it from the string</p>