original_string: public function unconsume($howMany = 1) {
          if (($this->char - $howMany) >= 0) {
              $this->char = $this->char - $howMany;
          }
      }
code: public function unconsume($howMany = 1) {
          if (($this->char - $howMany) >= 0) {
              $this->char = $this->char - $howMany;
          }
      }
code_tokens: public function unconsume ( $ howMany = 1 ) { if ( ( $ this -> char - $ howMany ) >= 0 ) { $ this -> char = $ this -> char - $ howMany ; } }
docstring: Unconsume characters.
  
  @param int $howMany
  The number of characters to unconsume.
docstring_tokens: Unconsume characters .