Module Dose_extra__Format822_lexer