lexer grammar t009lexer;
options {
  language = Python3;
}

DIGIT: '0' .. '9';