sig
  type token =
      IDENT of (string * Flx_cil_cabs.cabsloc)
    | CST_CHAR of (int64 list * Flx_cil_cabs.cabsloc)
    | CST_WCHAR of (int64 list * Flx_cil_cabs.cabsloc)
    | CST_INT of (string * Flx_cil_cabs.cabsloc)
    | CST_FLOAT of (string * Flx_cil_cabs.cabsloc)
    | NAMED_TYPE of (string * Flx_cil_cabs.cabsloc)
    | CST_STRING of (int64 list * Flx_cil_cabs.cabsloc)
    | CST_WSTRING of (int64 list * Flx_cil_cabs.cabsloc)
    | EOF
    | BOOL of Flx_cil_cabs.cabsloc
    | CHAR of Flx_cil_cabs.cabsloc
    | INT of Flx_cil_cabs.cabsloc
    | DOUBLE of Flx_cil_cabs.cabsloc
    | FLOAT of Flx_cil_cabs.cabsloc
    | COMPLEX of Flx_cil_cabs.cabsloc
    | IMAGINARY of Flx_cil_cabs.cabsloc
    | VOID of Flx_cil_cabs.cabsloc
    | INT64 of Flx_cil_cabs.cabsloc
    | INT32 of Flx_cil_cabs.cabsloc
    | ENUM of Flx_cil_cabs.cabsloc
    | STRUCT of Flx_cil_cabs.cabsloc
    | TYPEDEF of Flx_cil_cabs.cabsloc
    | UNION of Flx_cil_cabs.cabsloc
    | SIGNED of Flx_cil_cabs.cabsloc
    | UNSIGNED of Flx_cil_cabs.cabsloc
    | LONG of Flx_cil_cabs.cabsloc
    | SHORT of Flx_cil_cabs.cabsloc
    | VOLATILE of Flx_cil_cabs.cabsloc
    | EXTERN of Flx_cil_cabs.cabsloc
    | STATIC of Flx_cil_cabs.cabsloc
    | CONST of Flx_cil_cabs.cabsloc
    | RESTRICT of Flx_cil_cabs.cabsloc
    | AUTO of Flx_cil_cabs.cabsloc
    | REGISTER of Flx_cil_cabs.cabsloc
    | THREAD of Flx_cil_cabs.cabsloc
    | CLASS of Flx_cil_cabs.cabsloc
    | NAMESPACE of Flx_cil_cabs.cabsloc
    | USING of Flx_cil_cabs.cabsloc
    | TYPENAME of Flx_cil_cabs.cabsloc
    | TEMPLATENAME of Flx_cil_cabs.cabsloc
    | PUBLIC of Flx_cil_cabs.cabsloc
    | PRIVATE of Flx_cil_cabs.cabsloc
    | PROTECTED of Flx_cil_cabs.cabsloc
    | VIRTUAL of Flx_cil_cabs.cabsloc
    | SIZEOF of Flx_cil_cabs.cabsloc
    | ALIGNOF of Flx_cil_cabs.cabsloc
    | EQ
    | PLUS_EQ
    | MINUS_EQ
    | STAR_EQ
    | SLASH_EQ
    | PERCENT_EQ
    | AND_EQ
    | PIPE_EQ
    | CIRC_EQ
    | INF_INF_EQ
    | SUP_SUP_EQ
    | ARROW
    | DOT
    | EQ_EQ
    | EXCLAM_EQ
    | INF
    | SUP
    | INF_EQ
    | SUP_EQ
    | PLUS of Flx_cil_cabs.cabsloc
    | MINUS of Flx_cil_cabs.cabsloc
    | STAR of Flx_cil_cabs.cabsloc
    | SLASH
    | PERCENT
    | TILDE of Flx_cil_cabs.cabsloc
    | AND of Flx_cil_cabs.cabsloc
    | PIPE
    | CIRC
    | EXCLAM of Flx_cil_cabs.cabsloc
    | AND_AND of Flx_cil_cabs.cabsloc
    | PIPE_PIPE
    | INF_INF
    | SUP_SUP
    | PLUS_PLUS of Flx_cil_cabs.cabsloc
    | MINUS_MINUS of Flx_cil_cabs.cabsloc
    | RPAREN
    | LPAREN of Flx_cil_cabs.cabsloc
    | RBRACE of Flx_cil_cabs.cabsloc
    | LBRACE of Flx_cil_cabs.cabsloc
    | LBRACKET
    | RBRACKET
    | COLON
    | XCOLON
    | SEMICOLON of Flx_cil_cabs.cabsloc
    | COMMA
    | ELLIPSIS
    | QUEST
    | BREAK of Flx_cil_cabs.cabsloc
    | CONTINUE of Flx_cil_cabs.cabsloc
    | GOTO of Flx_cil_cabs.cabsloc
    | RETURN of Flx_cil_cabs.cabsloc
    | SWITCH of Flx_cil_cabs.cabsloc
    | CASE of Flx_cil_cabs.cabsloc
    | DEFAULT of Flx_cil_cabs.cabsloc
    | WHILE of Flx_cil_cabs.cabsloc
    | DO of Flx_cil_cabs.cabsloc
    | FOR of Flx_cil_cabs.cabsloc
    | IF of Flx_cil_cabs.cabsloc
    | TRY of Flx_cil_cabs.cabsloc
    | EXCEPT of Flx_cil_cabs.cabsloc
    | FINALLY of Flx_cil_cabs.cabsloc
    | ELSE
    | ATTRIBUTE of Flx_cil_cabs.cabsloc
    | INLINE of Flx_cil_cabs.cabsloc
    | ASM of Flx_cil_cabs.cabsloc
    | TYPEOF of Flx_cil_cabs.cabsloc
    | FUNCTION__ of Flx_cil_cabs.cabsloc
    | PRETTY_FUNCTION__ of Flx_cil_cabs.cabsloc
    | LABEL__
    | BUILTIN_VA_ARG of Flx_cil_cabs.cabsloc
    | BUILTIN_VA_LIST
    | BLOCKATTRIBUTE
    | DECLSPEC of Flx_cil_cabs.cabsloc
    | MSASM of (string * Flx_cil_cabs.cabsloc)
    | MSATTR of (string * Flx_cil_cabs.cabsloc)
    | PRAGMA of Flx_cil_cabs.cabsloc
    | PRAGMA_LINE of (string * Flx_cil_cabs.cabsloc)
    | PRAGMA_EOL
    | AT_TRANSFORM of Flx_cil_cabs.cabsloc
    | AT_TRANSFORMEXPR of Flx_cil_cabs.cabsloc
    | AT_SPECIFIER of Flx_cil_cabs.cabsloc
    | AT_EXPR of Flx_cil_cabs.cabsloc
    | AT_NAME
  val interpret :
    (Lexing.lexbuf -> Flx_cil_cparser.token) ->
    Lexing.lexbuf -> Flx_cil_cabs.definition list
  val file :
    (Lexing.lexbuf -> Flx_cil_cparser.token) ->
    Lexing.lexbuf -> Flx_cil_cabs.definition list
end