/* own yyalloc */
void *yyalloc (size_t n)
{
  return(dp_calloc(1,n));
}

void yyfree (void *ptr)
{
  dp_free (ptr);
  return;
}

void *yyrealloc (void *ptr, size_t n)
{
  return (dp_realloc (ptr,n));
}

%}

/* use own yyalloc */
%option noyyalloc
%option noyyfree
%option noyyrealloc

    /* no yywrap() at end-of-file */
%option noyywrap

    /* do not push back chars in stream function() */
%option nounput

    /* no input() function */
%option noinput

    /* input does not come from a tty. */
%option never-interactive

    /* no yywrap() at end of file */
%option noyywrap

    /* 8-bits scanner */
%option 8bit

    /* use nameprefix for routines */
%option prefix="hl"

    /* add debug output */
%option debug

    /* use clib to read data */
%option noread