private function ignoreWhitespace(array $tokens, int $start) : int { $pointer = $start; while ($tokens[$pointer]['code'] === T_WHITESPACE) { ++$pointer; } return $pointer; }