#include "expr.h"
 #include "expr-bison.h"
 #include "expr-flex.h"
+#include "smt.h"
 #include <linux/kernel.h>
 #include <linux/zalloc.h>
 #include <ctype.h>
+#include <math.h>
 
 #ifdef PARSER_DEBUG
 extern int expr_debug;
        assert(data->kind == EXPR_ID_DATA__REF_VALUE);
        return data->ref.val;
 }
+
+double expr__get_literal(const char *literal)
+{
+       if (!strcmp("#smt_on", literal))
+               return smt_on() > 0 ? 1.0 : 0.0;
+
+       pr_err("Unrecognized literal '%s'", literal);
+       return NAN;
+}
 
 #include <linux/compiler.h>
 #include "expr.h"
 #include "expr-bison.h"
+#include <math.h>
 
 char *expr_get_text(yyscan_t yyscanner);
 YYSTYPE *expr_get_lval(yyscan_t yyscanner);
        yylval->str = normalize(yylval->str, runtime);
        return token;
 }
+
+static int literal(yyscan_t scanner)
+{
+       YYSTYPE *yylval = expr_get_lval(scanner);
+
+       yylval->num = expr__get_literal(expr_get_text(scanner));
+       if (isnan(yylval->num))
+               return EXPR_ERROR;
+
+       return LITERAL;
+}
 %}
 
 number         ([0-9]+\.?[0-9]*|[0-9]*\.?[0-9]+)
 spec           \\{sch}
 sym            [0-9a-zA-Z_\.:@?]+
 symbol         ({spec}|{sym})+
+literal                #[0-9a-zA-Z_\.\-]+
 
 %%
        struct expr_scanner_ctx *sctx = expr_get_extra(yyscanner);
 min            { return MIN; }
 if             { return IF; }
 else           { return ELSE; }
-#smt_on                { return SMT_ON; }
+{literal}      { return literal(yyscanner); }
 {number}       { return value(yyscanner); }
 {symbol}       { return str(yyscanner, ID, sctx->runtime); }
 "|"            { return '|'; }
 
 #include <assert.h>
 #include <math.h>
 #include "util/debug.h"
-#include "smt.h"
 #define IN_EXPR_Y 1
 #include "expr.h"
 %}
        } ids;
 }
 
-%token ID NUMBER MIN MAX IF ELSE SMT_ON D_RATIO EXPR_ERROR
+%token ID NUMBER MIN MAX IF ELSE LITERAL D_RATIO EXPR_ERROR
 %left MIN MAX IF
 %left '|'
 %left '^'
 %left '-' '+'
 %left '*' '/' '%'
 %left NEG NOT
-%type <num> NUMBER
+%type <num> NUMBER LITERAL
 %type <str> ID
 %destructor { free ($$); } <str>
 %type <ids> expr if_expr
                $$ = union_expr($3, $5);
        }
 }
-| SMT_ON
+| LITERAL
 {
-       $$.val = smt_on() > 0 ? 1.0 : 0.0;
+       $$.val = $1;
        $$.ids = NULL;
 }
 ;