%{
   /* C definitions */
#define YY_SKIP_YYWRAP
int yywrap(void) { return 1; }
%}
   /* definitions */
%option always-interactive

%%
   /* rules */
[hH]ello        { printf("Bonjour"); }
.|\n            { ECHO; }

%%
   /* user code */
int main(void) {
  return yylex();
}