heimdal regenate lex and yacc files

3 files changed, 1721 insertions, 8 deletions

diff --git a/source4/heimdal/lib/asn1/asn1parse.c b/source4/heimdal/lib/asn1/asn1parse.c
new file mode 100644
index 0000000000..9e4174a153
--- /dev/null
+++ b/source4/heimdal/lib/asn1/asn1parse.c
@@ -0,0 +1,1611 @@
+#ifndef lint
+static const char yysccsid[] = "@(#)yaccpar	1.9 (Berkeley) 02/21/93";
+#endif
+
+#include <stdlib.h>
+#include <string.h>
+
+#define YYBYACC 1
+#define YYMAJOR 1
+#define YYMINOR 9
+#define YYPATCH 20070509
+
+#define YYEMPTY (-1)
+#define yyclearin    (yychar = YYEMPTY)
+#define yyerrok      (yyerrflag = 0)
+#define YYRECOVERING (yyerrflag != 0)
+
+extern int yyparse(void);
+
+static int yygrowstack(void);
+#define YYPREFIX "yy"
+#line 39 ""
+
+#include <config.h>
+
+#include <stdio.h>
+#include <stdlib.h>
+#include <string.h>
+#include "symbol.h"
+#include "lex.h"
+#include "gen_locl.h"
+#include "der.h"
+
+RCSID("$Id$");
+
+static Type *new_type (Typetype t);
+static struct constraint_spec *new_constraint_spec(enum ctype);
+static Type *new_tag(int tagclass, int tagvalue, int tagenv, Type *oldtype);
+void yyerror (const char *);
+static struct objid *new_objid(const char *label, int value);
+static void add_oid_to_tail(struct objid *, struct objid *);
+static void fix_labels(Symbol *s);
+
+struct string_list {
+    char *string;
+    struct string_list *next;
+};
+
+#line 67 ""
+typedef union {
+    int constant;
+    struct value *value;
+    struct range *range;
+    char *name;
+    Type *type;
+    Member *member;
+    struct objid *objid;
+    char *defval;
+    struct string_list *sl;
+    struct tagtype tag;
+    struct memhead *members;
+    struct constraint_spec *constraint_spec;
+} YYSTYPE;
+#line 65 ""
+#define kw_ABSENT 257
+#define kw_ABSTRACT_SYNTAX 258
+#define kw_ALL 259
+#define kw_APPLICATION 260
+#define kw_AUTOMATIC 261
+#define kw_BEGIN 262
+#define kw_BIT 263
+#define kw_BMPString 264
+#define kw_BOOLEAN 265
+#define kw_BY 266
+#define kw_CHARACTER 267
+#define kw_CHOICE 268
+#define kw_CLASS 269
+#define kw_COMPONENT 270
+#define kw_COMPONENTS 271
+#define kw_CONSTRAINED 272
+#define kw_CONTAINING 273
+#define kw_DEFAULT 274
+#define kw_DEFINITIONS 275
+#define kw_EMBEDDED 276
+#define kw_ENCODED 277
+#define kw_END 278
+#define kw_ENUMERATED 279
+#define kw_EXCEPT 280
+#define kw_EXPLICIT 281
+#define kw_EXPORTS 282
+#define kw_EXTENSIBILITY 283
+#define kw_EXTERNAL 284
+#define kw_FALSE 285
+#define kw_FROM 286
+#define kw_GeneralString 287
+#define kw_GeneralizedTime 288
+#define kw_GraphicString 289
+#define kw_IA5String 290
+#define kw_IDENTIFIER 291
+#define kw_IMPLICIT 292
+#define kw_IMPLIED 293
+#define kw_IMPORTS 294
+#define kw_INCLUDES 295
+#define kw_INSTANCE 296
+#define kw_INTEGER 297
+#define kw_INTERSECTION 298
+#define kw_ISO646String 299
+#define kw_MAX 300
+#define kw_MIN 301
+#define kw_MINUS_INFINITY 302
+#define kw_NULL 303
+#define kw_NumericString 304
+#define kw_OBJECT 305
+#define kw_OCTET 306
+#define kw_OF 307
+#define kw_OPTIONAL 308
+#define kw_ObjectDescriptor 309
+#define kw_PATTERN 310
+#define kw_PDV 311
+#define kw_PLUS_INFINITY 312
+#define kw_PRESENT 313
+#define kw_PRIVATE 314
+#define kw_PrintableString 315
+#define kw_REAL 316
+#define kw_RELATIVE_OID 317
+#define kw_SEQUENCE 318
+#define kw_SET 319
+#define kw_SIZE 320
+#define kw_STRING 321
+#define kw_SYNTAX 322
+#define kw_T61String 323
+#define kw_TAGS 324
+#define kw_TRUE 325
+#define kw_TYPE_IDENTIFIER 326
+#define kw_TeletexString 327
+#define kw_UNION 328
+#define kw_UNIQUE 329
+#define kw_UNIVERSAL 330
+#define kw_UTCTime 331
+#define kw_UTF8String 332
+#define kw_UniversalString 333
+#define kw_VideotexString 334
+#define kw_VisibleString 335
+#define kw_WITH 336
+#define RANGE 337
+#define EEQUAL 338
+#define ELLIPSIS 339
+#define IDENTIFIER 340
+#define referencename 341
+#define STRING 342
+#define NUMBER 343
+#define YYERRCODE 256
+short yylhs[] = {                                        -1,
+    0,   56,   56,   56,   56,   57,   57,   58,   58,   60,
+   60,   62,   62,   63,   63,   64,   59,   59,   59,   61,
+   61,   65,   65,   50,   50,   66,   14,   14,   14,   15,
+   15,   15,   15,   15,   15,   15,   15,   15,   15,   15,
+   15,   15,   15,   17,   48,   48,   48,   48,   21,   21,
+   21,   43,   43,   43,   38,   20,   41,   16,   16,   32,
+   23,   22,   49,   49,   24,   24,   25,   26,   26,   27,
+   18,   29,   29,   30,   31,   31,   19,   51,   52,   53,
+   53,   54,   54,   54,   55,   28,   35,    2,    2,    2,
+    2,    3,    3,    3,   67,   33,   34,   34,   34,   34,
+   34,   34,   34,   34,   40,   40,   40,   39,   36,   36,
+   36,   42,   42,   37,   47,   47,   44,   45,   45,   46,
+   46,   46,    4,    4,    5,    5,    5,    5,    5,   12,
+   11,   13,    9,    7,    7,    6,    1,   10,    8,
+};
+short yylen[] = {                                         2,
+    9,    2,    2,    2,    0,    2,    0,    3,    0,    3,
+    0,    1,    0,    1,    2,    4,    3,    2,    0,    1,
+    2,    1,    1,    3,    1,    3,    1,    1,    1,    1,
+    1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
+    1,    1,    1,    1,    5,    5,    5,    3,    1,    2,
+    4,    1,    3,    3,    4,    4,    1,    2,    5,    2,
+    3,    1,    0,    2,    4,    3,    4,    4,    3,    3,
+    4,    1,    1,    1,    1,    1,    2,    3,    1,    1,
+    1,    2,    3,    5,    4,    3,    4,    0,    1,    1,
+    1,    0,    1,    1,    4,    1,    1,    1,    1,    1,
+    1,    1,    1,    1,    1,    3,    3,    2,    1,    2,
+    3,    1,    3,    4,    1,    0,    3,    0,    2,    4,
+    1,    1,    1,    1,    1,    1,    1,    1,    1,    1,
+    1,    1,    1,    1,    1,    1,    1,    1,    1,
+};
+short yydefred[] = {                                      0,
+    0,    0,    0,  115,    0,    0,  122,    0,    0,    0,
+    0,  117,  119,    0,    0,    0,    0,    0,    4,    2,
+    3,    0,    0,  120,    6,    0,    0,    0,    0,    0,
+   18,    0,    0,    1,    0,    0,    0,   17,    0,    0,
+    0,   14,    0,    8,    0,   22,   23,   24,    0,   10,
+   15,    0,  103,   44,    0,    0,   97,   75,  102,    0,
+   62,    0,    0,  100,    0,    0,   98,   76,   99,  104,
+  101,    0,   74,    0,    0,   27,   30,   31,   33,   29,
+   34,   35,   36,   38,   39,   40,   41,   42,   43,   28,
+   72,   73,   37,   32,   96,    0,   21,    0,    0,    0,
+    0,    0,    0,   50,   60,    0,    0,    0,    0,    0,
+    0,    0,   90,   91,   89,    0,    0,    0,   77,   93,
+   94,    0,   16,    0,    0,  105,    0,    0,    0,   52,
+    0,    0,  135,    0,  138,  134,  132,  133,  137,  136,
+    0,  123,  127,  125,  128,  126,  129,  130,  124,  131,
+  139,    0,   61,   64,   66,    0,    0,    0,   69,    0,
+    0,   95,    0,    0,    0,    0,   79,   80,   81,    0,
+    0,  112,    0,    0,    0,  110,    0,   71,    0,   56,
+    0,    0,    0,   48,   51,   65,    0,   68,   87,    0,
+    0,    0,   78,    0,    0,   59,  111,  107,  106,    0,
+   54,   53,    0,    0,    0,    0,    0,   83,    0,  113,
+   55,   47,   46,   45,   85,    0,  114,   84,
+};
+short yydgoto[] = {                                       2,
+  140,  116,  122,  141,  142,  143,  144,  145,  146,  147,
+  148,  149,  150,   75,   76,   77,   78,   79,   80,   81,
+   82,   83,   84,   85,   86,   87,   88,   89,   90,   91,
+   92,   93,   94,   95,   96,  126,  172,  130,  127,  128,
+  131,  173,  132,  151,    8,    9,    5,  104,  109,   39,
+  119,  166,  167,  168,  169,   17,   23,   29,   30,   36,
+   44,   40,   41,   42,   45,   46,   47,
+};
+short yysindex[] = {                                   -295,
+  -74,    0, -289,    0, -216,   23,    0,  -61, -289, -221,
+ -277,    0,    0, -259, -257, -256, -214,   31,    0,    0,
+    0, -220, -264,    0,    0, -187, -206, -232, -201, -213,
+    0,   34,   25,    0, -258, -251, -258,    0, -188,   40,
+ -258,    0,   63,    0, -251,    0,    0,    0, -239,    0,
+    0, -218,    0,    0,  -19,  -17,    0,    0,    0,  -12,
+    0, -184, -212,    0, -106, -111,    0,    0,    0,    0,
+    0,  112,    0, -228,  -37,    0,    0,    0,    0,    0,
+    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
+    0,    0,    0,    0,    0, -242,    0,  -74,  -10, -223,
+ -215, -116, -215,    0,    0, -198,   87, -105, -179,  112,
+ -100,   89,    0,    0,    0, -211,   -4, -225,    0,    0,
+    0,  112,    0, -210,  112,    0, -238,  -13,   91,    0,
+    9,   92,    0, -202,    0,    0,    0,    0,    0,    0,
+  -33,    0,    0,    0,    0,    0,    0,    0,    0,    0,
+    0,  -11,    0,    0,    0,   -9,  112,   89,    0,   -7,
+   44,    0, -128,  112, -127,   99,    0,    0,    0,   89,
+  101,    0,   -2,   89,   -4,    0, -283,    0, -200,    0,
+ -278,   -4,   -8,    0,    0,    0,   89,    0,    0,   19,
+  -27,   -4,    0, -199, -210,    0,    0,    0,    0,  104,
+    0,    0,  105,  106,  107,   24, -115,    0,  109,    0,
+    0,    0,    0,    0,    0,   -4,    0,    0,
+};
+short yyrindex[] = {                                      0,
+ -123,    0,   28,    0,    0, -110,    0,    0,   28, -245,
+    0,    0,    0,    0,    0,    0, -183,    0,    0,    0,
+    0,    0,    0,    0,    0,    0, -248,    0,    0, -182,
+    0,  -41,    0,    0,   97,    0,    0,    0,    0,    0,
+   98,    0,    0,    0, -119,    0,    0,    0,    0,    0,
+    0,    0,    0,    0,    0,    0,    0,    0,    0,  -30,
+    0,    0,    0,    0, -147,    0,    0,    0,    0,    0,
+    0,    0,    0, -181,    0,    0,    0,    0,    0,    0,
+    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
+    0,    0,    0,    0,    0,  169,    0,  -49,  -40,    0,
+    0,    0,    0,    0,    0,  -35,    0,    0,    0,    0,
+    0, -244,    0,    0,    0,    0,    0,    0,    0,    0,
+    0,    0,    0,    0,    0,    0,   -1,    0,    0,    0,
+    0,   36,    0,    0,    0,    0,    0,    0,    0,    0,
+    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
+    0,    0,    0,    0,    0,    0,    0,  -25,    0,    0,
+    0,    0,    0,    0,    0,    0,    0,    0,    0,  -20,
+    0,    0,    0,  -42,    0,    0,    0,    0,    0,    0,
+    0,    0,    0,    0,    0,    0,  -15,    0,    0,    0,
+  122,    0,    0,    0,    0,    0,    0,    0,    0,    0,
+    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
+    0,    0,    0,    0,    0,    0,    0,    0,
+};
+short yygindex[] = {                                      0,
+  -14,    0,    0,  -95,    0,    0,    0,    0,    0,    0,
+    0,    0,    0,  -31,    0,    0,    0,    0,    0,    0,
+    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
+    0,    0,    0,    0,    0,   -6,  -29,   -5,    0,  -53,
+    0,    0,   61,   22,  158,    0,   70,   65,   64,   16,
+    0,    0,    0,    0,    0,    0,    0,    0,    0,    0,
+  128,    0,    0,  133,    0,    0,    0,
+};
+#define YYTABLESIZE 509
+short yytable[] = {                                      58,
+   58,  108,  118,   58,   63,   63,    3,  184,   63,  116,
+   49,  111,  118,   49,  121,   70,  108,   25,   70,  155,
+   86,  162,    4,   86,  159,   67,   31,  102,   67,    9,
+  177,  113,  181,   26,  177,  175,  177,    5,  120,   14,
+  112,  195,  109,   33,    1,   19,  163,  164,    3,  121,
+    6,  165,   48,    7,  156,  198,  125,  160,   10,   15,
+  201,  129,   11,   12,   19,   18,   20,   21,   22,  176,
+   16,   24,   25,   26,   27,   28,   34,   37,  158,  197,
+   35,   32,  108,   38,   58,  114,  203,  205,   43,   63,
+  170,   19,    5,  174,   49,   26,  208,   49,   50,   70,
+   98,  115,   99,  100,   86,  101,  105,   32,  106,   67,
+  103,  178,  124,  185,    3,  186,  125,  188,    3,    4,
+  218,  107,  196,  109,  129,  187,  102,  157,  118,  171,
+  179,  161,  191,  180,  182,  181,  189,  190,  192,  193,
+  194,  206,  139,  209,  211,  212,  213,  214,  215,  217,
+  216,  116,  118,   74,    7,   13,   12,   11,   20,   63,
+   57,   88,   82,  152,  200,  210,   13,  123,  133,  153,
+  199,  154,   97,   51,    0,  202,    0,    0,    0,    0,
+    0,    0,    0,    0,  134,    0,  135,    0,    0,    0,
+    0,    0,    0,    0,    0,  110,    0,    0,    0,    0,
+    0,    0,   74,    0,    0,    0,    0,    0,  136,    0,
+    0,    0,    0,  107,    0,    0,    0,    0,    0,    0,
+    0,    0,    0,  137,    0,  138,  139,    0,    0,  121,
+    0,  108,  121,   58,  125,    0,   58,   58,   63,  125,
+    0,   63,   63,   49,   25,    0,   49,   49,   70,  207,
+    0,   70,   70,   86,    0,    0,   86,   86,   67,   92,
+    0,   67,   67,    0,    0,  108,    0,   58,    0,    0,
+    0,    0,   63,    0,    0,    0,  133,   49,    0,    0,
+  133,    0,   70,    0,    0,    0,    0,   86,    0,    0,
+  116,  204,   67,    0,  135,    0,    0,   58,  135,   58,
+  117,    0,   63,  183,   63,    0,    0,   49,    0,   49,
+    0,    0,   70,    0,   70,    0,  136,   86,    0,   86,
+  136,    0,   67,    0,   67,   52,   53,   54,    0,    0,
+   55,  137,    0,  138,  139,  137,    0,  138,  139,    0,
+    0,   56,    0,    0,    0,    0,    0,    0,    0,   57,
+   58,    0,   59,    0,    0,    0,    0,    0,    0,   60,
+    0,    0,    0,    0,    0,   61,    0,   62,   63,    0,
+    0,    0,    0,    0,   52,   53,   54,   64,    0,   55,
+   65,   66,    0,    0,    0,    0,    0,    0,    0,   67,
+   56,    0,    0,   68,   69,   70,    0,   71,   57,   58,
+   72,   59,   73,    0,    0,    0,    0,    0,   60,    0,
+    0,    0,    0,    0,   61,    0,   62,   63,    0,    0,
+    0,    0,    0,    0,    0,    0,   64,    0,    0,   65,
+   66,   92,   92,   92,    0,    0,   92,    0,   67,    0,
+    0,    0,   68,   69,   70,    0,   71,   92,    0,    0,
+    0,   73,    0,    0,    0,   92,   92,    0,   92,    0,
+    0,    0,    0,    0,    0,   92,    0,    0,    0,    0,
+    0,   92,    0,   92,   92,    0,    0,    0,    0,    0,
+    0,    0,    0,   92,    0,    0,   92,   92,    0,    0,
+    0,    0,    0,    0,    0,   92,    0,    0,    0,   92,
+   92,   92,    0,   92,    0,    0,    0,    0,   92,
+};
+short yycheck[] = {                                      40,
+   41,   44,   40,   44,   40,   41,  123,   41,   44,   59,
+   41,  123,   40,   44,  125,   41,  123,   59,   44,  125,
+   41,  117,    1,   44,  125,   41,  259,   40,   44,  278,
+   44,  260,   44,  278,   44,  274,   44,  283,  281,  261,
+   72,   44,   44,   28,  340,  294,  272,  273,  123,  292,
+  340,  277,   37,  343,  108,  339,  340,  111,  275,  281,
+  339,  340,   40,  125,  324,  343,  324,  324,  283,  308,
+  292,   41,  293,  338,  262,  282,  278,   44,  110,  175,
+  294,  340,  125,   59,  125,  314,  182,  183,  340,  125,
+  122,  340,  338,  125,  125,  340,  192,  286,   59,  125,
+  340,  330,  321,  123,  125,  123,  291,  340,  321,  125,
+  123,  125,  123,  125,  123,  125,  340,  125,  123,   98,
+  216,  320,  125,  125,  340,  157,   40,  307,   40,  340,
+   40,  343,  164,  125,  337,   44,   93,  266,  266,   41,
+   40,  123,  343,  343,   41,   41,   41,   41,  125,   41,
+  266,  275,  125,   91,  338,   59,   59,  340,  278,  307,
+  125,  343,   41,  103,  179,  195,    9,   98,  285,  106,
+  177,  107,   45,   41,   -1,  181,   -1,   -1,   -1,   -1,
+   -1,   -1,   -1,   -1,  301,   -1,  303,   -1,   -1,   -1,
+   -1,   -1,   -1,   -1,   -1,  307,   -1,   -1,   -1,   -1,
+   -1,   -1,   91,   -1,   -1,   -1,   -1,   -1,  325,   -1,
+   -1,   -1,   -1,  320,   -1,   -1,   -1,   -1,   -1,   -1,
+   -1,   -1,   -1,  340,   -1,  342,  343,   -1,   -1,  340,
+   -1,  274,  343,  274,  340,   -1,  277,  278,  274,  340,
+   -1,  277,  278,  274,  286,   -1,  277,  278,  274,  277,
+   -1,  277,  278,  274,   -1,   -1,  277,  278,  274,   91,
+   -1,  277,  278,   -1,   -1,  308,   -1,  308,   -1,   -1,
+   -1,   -1,  308,   -1,   -1,   -1,  285,  308,   -1,   -1,
+  285,   -1,  308,   -1,   -1,   -1,   -1,  308,   -1,   -1,
+  340,  300,  308,   -1,  303,   -1,   -1,  338,  303,  340,
+  338,   -1,  338,  337,  340,   -1,   -1,  338,   -1,  340,
+   -1,   -1,  338,   -1,  340,   -1,  325,  338,   -1,  340,
+  325,   -1,  338,   -1,  340,  263,  264,  265,   -1,   -1,
+  268,  340,   -1,  342,  343,  340,   -1,  342,  343,   -1,
+   -1,  279,   -1,   -1,   -1,   -1,   -1,   -1,   -1,  287,
+  288,   -1,  290,   -1,   -1,   -1,   -1,   -1,   -1,  297,
+   -1,   -1,   -1,   -1,   -1,  303,   -1,  305,  306,   -1,
+   -1,   -1,   -1,   -1,  263,  264,  265,  315,   -1,  268,
+  318,  319,   -1,   -1,   -1,   -1,   -1,   -1,   -1,  327,
+  279,   -1,   -1,  331,  332,  333,   -1,  335,  287,  288,
+  338,  290,  340,   -1,   -1,   -1,   -1,   -1,  297,   -1,
+   -1,   -1,   -1,   -1,  303,   -1,  305,  306,   -1,   -1,
+   -1,   -1,   -1,   -1,   -1,   -1,  315,   -1,   -1,  318,
+  319,  263,  264,  265,   -1,   -1,  268,   -1,  327,   -1,
+   -1,   -1,  331,  332,  333,   -1,  335,  279,   -1,   -1,
+   -1,  340,   -1,   -1,   -1,  287,  288,   -1,  290,   -1,
+   -1,   -1,   -1,   -1,   -1,  297,   -1,   -1,   -1,   -1,
+   -1,  303,   -1,  305,  306,   -1,   -1,   -1,   -1,   -1,
+   -1,   -1,   -1,  315,   -1,   -1,  318,  319,   -1,   -1,
+   -1,   -1,   -1,   -1,   -1,  327,   -1,   -1,   -1,  331,
+  332,  333,   -1,  335,   -1,   -1,   -1,   -1,  340,
+};
+#define YYFINAL 2
+#ifndef YYDEBUG
+#define YYDEBUG 0
+#endif
+#define YYMAXTOKEN 343
+#if YYDEBUG
+char *yyname[] = {
+"end-of-file",0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
+0,0,0,0,0,0,"'('","')'",0,0,"','",0,0,0,0,0,0,0,0,0,0,0,0,0,0,"';'",0,0,0,0,0,0,
+0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,"'['",0,"']'",0,0,0,0,0,0,0,0,
+0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,"'{'",0,"'}'",0,0,0,0,0,0,0,0,0,0,0,0,
+0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
+0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
+0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,
+"kw_ABSENT","kw_ABSTRACT_SYNTAX","kw_ALL","kw_APPLICATION","kw_AUTOMATIC",
+"kw_BEGIN","kw_BIT","kw_BMPString","kw_BOOLEAN","kw_BY","kw_CHARACTER",
+"kw_CHOICE","kw_CLASS","kw_COMPONENT","kw_COMPONENTS","kw_CONSTRAINED",
+"kw_CONTAINING","kw_DEFAULT","kw_DEFINITIONS","kw_EMBEDDED","kw_ENCODED",
+"kw_END","kw_ENUMERATED","kw_EXCEPT","kw_EXPLICIT","kw_EXPORTS",
+"kw_EXTENSIBILITY","kw_EXTERNAL","kw_FALSE","kw_FROM","kw_GeneralString",
+"kw_GeneralizedTime","kw_GraphicString","kw_IA5String","kw_IDENTIFIER",
+"kw_IMPLICIT","kw_IMPLIED","kw_IMPORTS","kw_INCLUDES","kw_INSTANCE",
+"kw_INTEGER","kw_INTERSECTION","kw_ISO646String","kw_MAX","kw_MIN",
+"kw_MINUS_INFINITY","kw_NULL","kw_NumericString","kw_OBJECT","kw_OCTET","kw_OF",
+"kw_OPTIONAL","kw_ObjectDescriptor","kw_PATTERN","kw_PDV","kw_PLUS_INFINITY",
+"kw_PRESENT","kw_PRIVATE","kw_PrintableString","kw_REAL","kw_RELATIVE_OID",
+"kw_SEQUENCE","kw_SET","kw_SIZE","kw_STRING","kw_SYNTAX","kw_T61String",
+"kw_TAGS","kw_TRUE","kw_TYPE_IDENTIFIER","kw_TeletexString","kw_UNION",
+"kw_UNIQUE","kw_UNIVERSAL","kw_UTCTime","kw_UTF8String","kw_UniversalString",
+"kw_VideotexString","kw_VisibleString","kw_WITH","RANGE","EEQUAL","ELLIPSIS",
+"IDENTIFIER","referencename","STRING","NUMBER",
+};
+char *yyrule[] = {
+"$accept : ModuleDefinition",
+"ModuleDefinition : IDENTIFIER objid_opt kw_DEFINITIONS TagDefault ExtensionDefault EEQUAL kw_BEGIN ModuleBody kw_END",
+"TagDefault : kw_EXPLICIT kw_TAGS",
+"TagDefault : kw_IMPLICIT kw_TAGS",
+"TagDefault : kw_AUTOMATIC kw_TAGS",
+"TagDefault :",
+"ExtensionDefault : kw_EXTENSIBILITY kw_IMPLIED",
+"ExtensionDefault :",
+"ModuleBody : Exports Imports AssignmentList",
+"ModuleBody :",
+"Imports : kw_IMPORTS SymbolsImported ';'",
+"Imports :",
+"SymbolsImported : SymbolsFromModuleList",
+"SymbolsImported :",
+"SymbolsFromModuleList : SymbolsFromModule",
+"SymbolsFromModuleList : SymbolsFromModuleList SymbolsFromModule",
+"SymbolsFromModule : referencenames kw_FROM IDENTIFIER objid_opt",
+"Exports : kw_EXPORTS referencenames ';'",
+"Exports : kw_EXPORTS kw_ALL",
+"Exports :",
+"AssignmentList : Assignment",
+"AssignmentList : Assignment AssignmentList",
+"Assignment : TypeAssignment",
+"Assignment : ValueAssignment",
+"referencenames : IDENTIFIER ',' referencenames",
+"referencenames : IDENTIFIER",
+"TypeAssignment : IDENTIFIER EEQUAL Type",
+"Type : BuiltinType",
+"Type : ReferencedType",
+"Type : ConstrainedType",
+"BuiltinType : BitStringType",
+"BuiltinType : BooleanType",
+"BuiltinType : CharacterStringType",
+"BuiltinType : ChoiceType",
+"BuiltinType : EnumeratedType",
+"BuiltinType : IntegerType",
+"BuiltinType : NullType",
+"BuiltinType : ObjectIdentifierType",
+"BuiltinType : OctetStringType",
+"BuiltinType : SequenceType",
+"BuiltinType : SequenceOfType",
+"BuiltinType : SetType",
+"BuiltinType : SetOfType",
+"BuiltinType : TaggedType",
+"BooleanType : kw_BOOLEAN",
+"range : '(' Value RANGE Value ')'",
+"range : '(' Value RANGE kw_MAX ')'",
+"range : '(' kw_MIN RANGE Value ')'",
+"range : '(' Value ')'",
+"IntegerType : kw_INTEGER",
+"IntegerType : kw_INTEGER range",
+"IntegerType : kw_INTEGER '{' NamedNumberList '}'",
+"NamedNumberList : NamedNumber",
+"NamedNumberList : NamedNumberList ',' NamedNumber",
+"NamedNumberList : NamedNumberList ',' ELLIPSIS",
+"NamedNumber : IDENTIFIER '(' SignedNumber ')'",
+"EnumeratedType : kw_ENUMERATED '{' Enumerations '}'",
+"Enumerations : NamedNumberList",
+"BitStringType : kw_BIT kw_STRING",
+"BitStringType : kw_BIT kw_STRING '{' NamedBitList '}'",
+"ObjectIdentifierType : kw_OBJECT kw_IDENTIFIER",
+"OctetStringType : kw_OCTET kw_STRING size",
+"NullType : kw_NULL",
+"size :",
+"size : kw_SIZE range",
+"SequenceType : kw_SEQUENCE '{' ComponentTypeList '}'",
+"SequenceType : kw_SEQUENCE '{' '}'",
+"SequenceOfType : kw_SEQUENCE size kw_OF Type",
+"SetType : kw_SET '{' ComponentTypeList '}'",
+"SetType : kw_SET '{' '}'",
+"SetOfType : kw_SET kw_OF Type",
+"ChoiceType : kw_CHOICE '{' ComponentTypeList '}'",
+"ReferencedType : DefinedType",
+"ReferencedType : UsefulType",
+"DefinedType : IDENTIFIER",
+"UsefulType : kw_GeneralizedTime",
+"UsefulType : kw_UTCTime",
+"ConstrainedType : Type Constraint",
+"Constraint : '(' ConstraintSpec ')'",
+"ConstraintSpec : GeneralConstraint",
+"GeneralConstraint : ContentsConstraint",
+"GeneralConstraint : UserDefinedConstraint",
+"ContentsConstraint : kw_CONTAINING Type",
+"ContentsConstraint : kw_ENCODED kw_BY Value",
+"ContentsConstraint : kw_CONTAINING Type kw_ENCODED kw_BY Value",
+"UserDefinedConstraint : kw_CONSTRAINED kw_BY '{' '}'",
+"TaggedType : Tag tagenv Type",
+"Tag : '[' Class NUMBER ']'",
+"Class :",
+"Class : kw_UNIVERSAL",
+"Class : kw_APPLICATION",
+"Class : kw_PRIVATE",
+"tagenv :",
+"tagenv : kw_EXPLICIT",
+"tagenv : kw_IMPLICIT",
+"ValueAssignment : IDENTIFIER Type EEQUAL Value",
+"CharacterStringType : RestrictedCharactedStringType",
+"RestrictedCharactedStringType : kw_GeneralString",
+"RestrictedCharactedStringType : kw_TeletexString",
+"RestrictedCharactedStringType : kw_UTF8String",
+"RestrictedCharactedStringType : kw_PrintableString",
+"RestrictedCharactedStringType : kw_VisibleString",
+"RestrictedCharactedStringType : kw_IA5String",
+"RestrictedCharactedStringType : kw_BMPString",
+"RestrictedCharactedStringType : kw_UniversalString",
+"ComponentTypeList : ComponentType",
+"ComponentTypeList : ComponentTypeList ',' ComponentType",
+"ComponentTypeList : ComponentTypeList ',' ELLIPSIS",
+"NamedType : IDENTIFIER Type",
+"ComponentType : NamedType",
+"ComponentType : NamedType kw_OPTIONAL",
+"ComponentType : NamedType kw_DEFAULT Value",
+"NamedBitList : NamedBit",
+"NamedBitList : NamedBitList ',' NamedBit",
+"NamedBit : IDENTIFIER '(' NUMBER ')'",
+"objid_opt : objid",
+"objid_opt :",
+"objid : '{' objid_list '}'",
+"objid_list :",
+"objid_list : objid_element objid_list",
+"objid_element : IDENTIFIER '(' NUMBER ')'",
+"objid_element : IDENTIFIER",
+"objid_element : NUMBER",
+"Value : BuiltinValue",
+"Value : ReferencedValue",
+"BuiltinValue : BooleanValue",
+"BuiltinValue : CharacterStringValue",
+"BuiltinValue : IntegerValue",
+"BuiltinValue : ObjectIdentifierValue",
+"BuiltinValue : NullValue",
+"ReferencedValue : DefinedValue",
+"DefinedValue : Valuereference",
+"Valuereference : IDENTIFIER",
+"CharacterStringValue : STRING",
+"BooleanValue : kw_TRUE",
+"BooleanValue : kw_FALSE",
+"IntegerValue : SignedNumber",
+"SignedNumber : NUMBER",
+"NullValue : kw_NULL",
+"ObjectIdentifierValue : objid",
+};
+#endif
+#if YYDEBUG
+#include <stdio.h>
+#endif
+
+/* define the initial stack-sizes */
+#ifdef YYSTACKSIZE
+#undef YYMAXDEPTH
+#define YYMAXDEPTH  YYSTACKSIZE
+#else
+#ifdef YYMAXDEPTH
+#define YYSTACKSIZE YYMAXDEPTH
+#else
+#define YYSTACKSIZE 500
+#define YYMAXDEPTH  500
+#endif
+#endif
+
+#define YYINITSTACKSIZE 500
+
+int      yydebug;
+int      yynerrs;
+int      yyerrflag;
+int      yychar;
+short   *yyssp;
+YYSTYPE *yyvsp;
+YYSTYPE  yyval;
+YYSTYPE  yylval;
+
+/* variables for the parser stack */
+static short   *yyss;
+static short   *yysslim;
+static YYSTYPE *yyvs;
+static int      yystacksize;
+#line 941 ""
+
+void
+yyerror (const char *s)
+{
+     lex_error_message ("%s\n", s);
+}
+
+static Type *
+new_tag(int tagclass, int tagvalue, int tagenv, Type *oldtype)
+{
+    Type *t;
+    if(oldtype->type == TTag && oldtype->tag.tagenv == TE_IMPLICIT) {
+	t = oldtype;
+	oldtype = oldtype->subtype; /* XXX */
+    } else
+	t = new_type (TTag);
+
+    t->tag.tagclass = tagclass;
+    t->tag.tagvalue = tagvalue;
+    t->tag.tagenv = tagenv;
+    t->subtype = oldtype;
+    return t;
+}
+
+static struct objid *
+new_objid(const char *label, int value)
+{
+    struct objid *s;
+    s = emalloc(sizeof(*s));
+    s->label = label;
+    s->value = value;
+    s->next = NULL;
+    return s;
+}
+
+static void
+add_oid_to_tail(struct objid *head, struct objid *tail)
+{
+    struct objid *o;
+    o = head;
+    while (o->next)
+	o = o->next;
+    o->next = tail;
+}
+
+static Type *
+new_type (Typetype tt)
+{
+    Type *t = ecalloc(1, sizeof(*t));
+    t->type = tt;
+    return t;
+}
+
+static struct constraint_spec *
+new_constraint_spec(enum ctype ct)
+{
+    struct constraint_spec *c = ecalloc(1, sizeof(*c));
+    c->ctype = ct;
+    return c;
+}
+
+static void fix_labels2(Type *t, const char *prefix);
+static void fix_labels1(struct memhead *members, const char *prefix)
+{
+    Member *m;
+
+    if(members == NULL)
+	return;
+    ASN1_TAILQ_FOREACH(m, members, members) {
+	if (asprintf(&m->label, "%s_%s", prefix, m->gen_name) < 0)
+	    errx(1, "malloc");
+	if (m->label == NULL)
+	    errx(1, "malloc");
+	if(m->type != NULL)
+	    fix_labels2(m->type, m->label);
+    }
+}
+
+static void fix_labels2(Type *t, const char *prefix)
+{
+    for(; t; t = t->subtype)
+	fix_labels1(t->members, prefix);
+}
+
+static void
+fix_labels(Symbol *s)
+{
+    char *p = NULL;
+    if (asprintf(&p, "choice_%s", s->gen_name) < 0 || p == NULL)
+	errx(1, "malloc");
+    fix_labels2(s->type, p);
+    free(p);
+}
+#line 685 ""
+/* allocate initial stack or double stack size, up to YYMAXDEPTH */
+static int yygrowstack(void)
+{
+    int newsize, i;
+    short *newss;
+    YYSTYPE *newvs;
+
+    if ((newsize = yystacksize) == 0)
+        newsize = YYINITSTACKSIZE;
+    else if (newsize >= YYMAXDEPTH)
+        return -1;
+    else if ((newsize *= 2) > YYMAXDEPTH)
+        newsize = YYMAXDEPTH;
+
+    i = yyssp - yyss;
+    newss = (yyss != 0)
+          ? (short *)realloc(yyss, newsize * sizeof(*newss))
+          : (short *)malloc(newsize * sizeof(*newss));
+    if (newss == 0)
+        return -1;
+
+    yyss  = newss;
+    yyssp = newss + i;
+    newvs = (yyvs != 0)
+          ? (YYSTYPE *)realloc(yyvs, newsize * sizeof(*newvs))
+          : (YYSTYPE *)malloc(newsize * sizeof(*newvs));
+    if (newvs == 0)
+        return -1;
+
+    yyvs = newvs;
+    yyvsp = newvs + i;
+    yystacksize = newsize;
+    yysslim = yyss + newsize - 1;
+    return 0;
+}
+
+#define YYABORT goto yyabort
+#define YYREJECT goto yyabort
+#define YYACCEPT goto yyaccept
+#define YYERROR goto yyerrlab
+int
+yyparse(void)
+{
+    register int yym, yyn, yystate;
+#if YYDEBUG
+    register const char *yys;
+
+    if ((yys = getenv("YYDEBUG")) != 0)
+    {
+        yyn = *yys;
+        if (yyn >= '0' && yyn <= '9')
+            yydebug = yyn - '0';
+    }
+#endif
+
+    yynerrs = 0;
+    yyerrflag = 0;
+    yychar = YYEMPTY;
+
+    if (yyss == NULL && yygrowstack()) goto yyoverflow;
+    yyssp = yyss;
+    yyvsp = yyvs;
+    *yyssp = yystate = 0;
+
+yyloop:
+    if ((yyn = yydefred[yystate]) != 0) goto yyreduce;
+    if (yychar < 0)
+    {
+        if ((yychar = yylex()) < 0) yychar = 0;
+#if YYDEBUG
+        if (yydebug)
+        {
+            yys = 0;
+            if (yychar <= YYMAXTOKEN) yys = yyname[yychar];
+            if (!yys) yys = "illegal-symbol";
+            printf("%sdebug: state %d, reading %d (%s)\n",
+                    YYPREFIX, yystate, yychar, yys);
+        }
+#endif
+    }
+    if ((yyn = yysindex[yystate]) && (yyn += yychar) >= 0 &&
+            yyn <= YYTABLESIZE && yycheck[yyn] == yychar)
+    {
+#if YYDEBUG
+        if (yydebug)
+            printf("%sdebug: state %d, shifting to state %d\n",
+                    YYPREFIX, yystate, yytable[yyn]);
+#endif
+        if (yyssp >= yysslim && yygrowstack())
+        {
+            goto yyoverflow;
+        }
+        *++yyssp = yystate = yytable[yyn];
+        *++yyvsp = yylval;
+        yychar = YYEMPTY;
+        if (yyerrflag > 0)  --yyerrflag;
+        goto yyloop;
+    }
+    if ((yyn = yyrindex[yystate]) && (yyn += yychar) >= 0 &&
+            yyn <= YYTABLESIZE && yycheck[yyn] == yychar)
+    {
+        yyn = yytable[yyn];
+        goto yyreduce;
+    }
+    if (yyerrflag) goto yyinrecovery;
+
+    yyerror("syntax error");
+
+#ifdef lint
+    goto yyerrlab;
+#endif
+
+yyerrlab:
+    ++yynerrs;
+
+yyinrecovery:
+    if (yyerrflag < 3)
+    {
+        yyerrflag = 3;
+        for (;;)
+        {
+            if ((yyn = yysindex[*yyssp]) && (yyn += YYERRCODE) >= 0 &&
+                    yyn <= YYTABLESIZE && yycheck[yyn] == YYERRCODE)
+            {
+#if YYDEBUG
+                if (yydebug)
+                    printf("%sdebug: state %d, error recovery shifting\
+ to state %d\n", YYPREFIX, *yyssp, yytable[yyn]);
+#endif
+                if (yyssp >= yysslim && yygrowstack())
+                {
+                    goto yyoverflow;
+                }
+                *++yyssp = yystate = yytable[yyn];
+                *++yyvsp = yylval;
+                goto yyloop;
+            }
+            else
+            {
+#if YYDEBUG
+                if (yydebug)
+                    printf("%sdebug: error recovery discarding state %d\n",
+                            YYPREFIX, *yyssp);
+#endif
+                if (yyssp <= yyss) goto yyabort;
+                --yyssp;
+                --yyvsp;
+            }
+        }
+    }
+    else
+    {
+        if (yychar == 0) goto yyabort;
+#if YYDEBUG
+        if (yydebug)
+        {
+            yys = 0;
+            if (yychar <= YYMAXTOKEN) yys = yyname[yychar];
+            if (!yys) yys = "illegal-symbol";
+            printf("%sdebug: state %d, error recovery discards token %d (%s)\n",
+                    YYPREFIX, yystate, yychar, yys);
+        }
+#endif
+        yychar = YYEMPTY;
+        goto yyloop;
+    }
+
+yyreduce:
+#if YYDEBUG
+    if (yydebug)
+        printf("%sdebug: state %d, reducing by rule %d (%s)\n",
+                YYPREFIX, yystate, yyn, yyrule[yyn]);
+#endif
+    yym = yylen[yyn];
+    if (yym)
+        yyval = yyvsp[1-yym];
+    else
+        memset(&yyval, 0, sizeof yyval);
+    switch (yyn)
+    {
+case 1:
+#line 237 ""
+{
+			checkundefined();
+		}
+break;
+case 3:
+#line 244 ""
+{ lex_error_message("implicit tagging is not supported"); }
+break;
+case 4:
+#line 246 ""
+{ lex_error_message("automatic tagging is not supported"); }
+break;
+case 6:
+#line 251 ""
+{ lex_error_message("no extensibility options supported"); }
+break;
+case 16:
+#line 272 ""
+{
+		    struct string_list *sl;
+		    for(sl = yyvsp[-3].sl; sl != NULL; sl = sl->next) {
+			Symbol *s = addsym(sl->string);
+			s->stype = Stype;
+			gen_template_import(s);
+		    }
+		    add_import(yyvsp[-1].name);
+		}
+break;
+case 17:
+#line 284 ""
+{
+		    struct string_list *sl;
+		    for(sl = yyvsp[-1].sl; sl != NULL; sl = sl->next)
+			add_export(sl->string);
+		}
+break;
+case 24:
+#line 302 ""
+{
+		    yyval.sl = emalloc(sizeof(*yyval.sl));
+		    yyval.sl->string = yyvsp[-2].name;
+		    yyval.sl->next = yyvsp[0].sl;
+		}
+break;
+case 25:
+#line 308 ""
+{
+		    yyval.sl = emalloc(sizeof(*yyval.sl));
+		    yyval.sl->string = yyvsp[0].name;
+		    yyval.sl->next = NULL;
+		}
+break;
+case 26:
+#line 316 ""
+{
+		    Symbol *s = addsym (yyvsp[-2].name);
+		    s->stype = Stype;
+		    s->type = yyvsp[0].type;
+		    fix_labels(s);
+		    generate_type (s);
+		}
+break;
+case 44:
+#line 347 ""
+{
+			yyval.type = new_tag(ASN1_C_UNIV, UT_Boolean,
+				     TE_EXPLICIT, new_type(TBoolean));
+		}
+break;
+case 45:
+#line 354 ""
+{
+		    if(yyvsp[-3].value->type != integervalue)
+			lex_error_message("Non-integer used in first part of range");
+		    if(yyvsp[-3].value->type != integervalue)
+			lex_error_message("Non-integer in second part of range");
+		    yyval.range = ecalloc(1, sizeof(*yyval.range));
+		    yyval.range->min = yyvsp[-3].value->u.integervalue;
+		    yyval.range->max = yyvsp[-1].value->u.integervalue;
+		}
+break;
+case 46:
+#line 364 ""
+{
+		    if(yyvsp[-3].value->type != integervalue)
+			lex_error_message("Non-integer in first part of range");
+		    yyval.range = ecalloc(1, sizeof(*yyval.range));
+		    yyval.range->min = yyvsp[-3].value->u.integervalue;
+		    yyval.range->max = yyvsp[-3].value->u.integervalue - 1;
+		}
+break;
+case 47:
+#line 372 ""
+{
+		    if(yyvsp[-1].value->type != integervalue)
+			lex_error_message("Non-integer in second part of range");
+		    yyval.range = ecalloc(1, sizeof(*yyval.range));
+		    yyval.range->min = yyvsp[-1].value->u.integervalue + 2;
+		    yyval.range->max = yyvsp[-1].value->u.integervalue;
+		}
+break;
+case 48:
+#line 380 ""
+{
+		    if(yyvsp[-1].value->type != integervalue)
+			lex_error_message("Non-integer used in limit");
+		    yyval.range = ecalloc(1, sizeof(*yyval.range));
+		    yyval.range->min = yyvsp[-1].value->u.integervalue;
+		    yyval.range->max = yyvsp[-1].value->u.integervalue;
+		}
+break;
+case 49:
+#line 391 ""
+{
+			yyval.type = new_tag(ASN1_C_UNIV, UT_Integer,
+				     TE_EXPLICIT, new_type(TInteger));
+		}
+break;
+case 50:
+#line 396 ""
+{
+			yyval.type = new_type(TInteger);
+			yyval.type->range = yyvsp[0].range;
+			yyval.type = new_tag(ASN1_C_UNIV, UT_Integer, TE_EXPLICIT, yyval.type);
+		}
+break;
+case 51:
+#line 402 ""
+{
+		  yyval.type = new_type(TInteger);
+		  yyval.type->members = yyvsp[-1].members;
+		  yyval.type = new_tag(ASN1_C_UNIV, UT_Integer, TE_EXPLICIT, yyval.type);
+		}
+break;
+case 52:
+#line 410 ""
+{
+			yyval.members = emalloc(sizeof(*yyval.members));
+			ASN1_TAILQ_INIT(yyval.members);
+			ASN1_TAILQ_INSERT_HEAD(yyval.members, yyvsp[0].member, members);
+		}
+break;
+case 53:
+#line 416 ""
+{
+			ASN1_TAILQ_INSERT_TAIL(yyvsp[-2].members, yyvsp[0].member, members);
+			yyval.members = yyvsp[-2].members;
+		}
+break;
+case 54:
+#line 421 ""
+{ yyval.members = yyvsp[-2].members; }
+break;
+case 55:
+#line 425 ""
+{
+			yyval.member = emalloc(sizeof(*yyval.member));
+			yyval.member->name = yyvsp[-3].name;
+			yyval.member->gen_name = estrdup(yyvsp[-3].name);
+			output_name (yyval.member->gen_name);
+			yyval.member->val = yyvsp[-1].constant;
+			yyval.member->optional = 0;
+			yyval.member->ellipsis = 0;
+			yyval.member->type = NULL;
+		}
+break;
+case 56:
+#line 438 ""
+{
+		  yyval.type = new_type(TInteger);
+		  yyval.type->members = yyvsp[-1].members;
+		  yyval.type = new_tag(ASN1_C_UNIV, UT_Enumerated, TE_EXPLICIT, yyval.type);
+		}
+break;
+case 58:
+#line 449 ""
+{
+		  yyval.type = new_type(TBitString);
+		  yyval.type->members = emalloc(sizeof(*yyval.type->members));
+		  ASN1_TAILQ_INIT(yyval.type->members);
+		  yyval.type = new_tag(ASN1_C_UNIV, UT_BitString, TE_EXPLICIT, yyval.type);
+		}
+break;
+case 59:
+#line 456 ""
+{
+		  yyval.type = new_type(TBitString);
+		  yyval.type->members = yyvsp[-1].members;
+		  yyval.type = new_tag(ASN1_C_UNIV, UT_BitString, TE_EXPLICIT, yyval.type);
+		}
+break;
+case 60:
+#line 464 ""
+{
+			yyval.type = new_tag(ASN1_C_UNIV, UT_OID,
+				     TE_EXPLICIT, new_type(TOID));
+		}
+break;
+case 61:
+#line 470 ""
+{
+		    Type *t = new_type(TOctetString);
+		    t->range = yyvsp[0].range;
+		    yyval.type = new_tag(ASN1_C_UNIV, UT_OctetString,
+				 TE_EXPLICIT, t);
+		}
+break;
+case 62:
+#line 479 ""
+{
+			yyval.type = new_tag(ASN1_C_UNIV, UT_Null,
+				     TE_EXPLICIT, new_type(TNull));
+		}
+break;
+case 63:
+#line 486 ""
+{ yyval.range = NULL; }
+break;
+case 64:
+#line 488 ""
+{ yyval.range = yyvsp[0].range; }
+break;
+case 65:
+#line 493 ""
+{
+		  yyval.type = new_type(TSequence);
+		  yyval.type->members = yyvsp[-1].members;
+		  yyval.type = new_tag(ASN1_C_UNIV, UT_Sequence, TE_EXPLICIT, yyval.type);
+		}
+break;
+case 66:
+#line 499 ""
+{
+		  yyval.type = new_type(TSequence);
+		  yyval.type->members = NULL;
+		  yyval.type = new_tag(ASN1_C_UNIV, UT_Sequence, TE_EXPLICIT, yyval.type);
+		}
+break;
+case 67:
+#line 507 ""
+{
+		  yyval.type = new_type(TSequenceOf);
+		  yyval.type->range = yyvsp[-2].range;
+		  yyval.type->subtype = yyvsp[0].type;
+		  yyval.type = new_tag(ASN1_C_UNIV, UT_Sequence, TE_EXPLICIT, yyval.type);
+		}
+break;
+case 68:
+#line 516 ""
+{
+		  yyval.type = new_type(TSet);
+		  yyval.type->members = yyvsp[-1].members;
+		  yyval.type = new_tag(ASN1_C_UNIV, UT_Set, TE_EXPLICIT, yyval.type);
+		}
+break;
+case 69:
+#line 522 ""
+{
+		  yyval.type = new_type(TSet);
+		  yyval.type->members = NULL;
+		  yyval.type = new_tag(ASN1_C_UNIV, UT_Set, TE_EXPLICIT, yyval.type);
+		}
+break;
+case 70:
+#line 530 ""
+{
+		  yyval.type = new_type(TSetOf);
+		  yyval.type->subtype = yyvsp[0].type;
+		  yyval.type = new_tag(ASN1_C_UNIV, UT_Set, TE_EXPLICIT, yyval.type);
+		}
+break;
+case 71:
+#line 538 ""
+{
+		  yyval.type = new_type(TChoice);
+		  yyval.type->members = yyvsp[-1].members;
+		}
+break;
+case 74:
+#line 549 ""
+{
+		  Symbol *s = addsym(yyvsp[0].name);
+		  yyval.type = new_type(TType);
+		  if(s->stype != Stype && s->stype != SUndefined)
+		    lex_error_message ("%s is not a type\n", yyvsp[0].name);
+		  else
+		    yyval.type->symbol = s;
+		}
+break;
+case 75:
+#line 560 ""
+{
+			yyval.type = new_tag(ASN1_C_UNIV, UT_GeneralizedTime,
+				     TE_EXPLICIT, new_type(TGeneralizedTime));
+		}
+break;
+case 76:
+#line 565 ""
+{
+			yyval.type = new_tag(ASN1_C_UNIV, UT_UTCTime,
+				     TE_EXPLICIT, new_type(TUTCTime));
+		}
+break;
+case 77:
+#line 572 ""
+{
+		    /* if (Constraint.type == contentConstrant) {
+		       assert(Constraint.u.constraint.type == octetstring|bitstring-w/o-NamedBitList); // remember to check type reference too
+		       if (Constraint.u.constraint.type) {
+		         assert((Constraint.u.constraint.type.length % 8) == 0);
+		       }
+		      }
+		      if (Constraint.u.constraint.encoding) {
+		        type == der-oid|ber-oid
+		      }
+		    */
+		}
+break;
+case 78:
+#line 588 ""
+{
+		    yyval.constraint_spec = yyvsp[-1].constraint_spec;
+		}
+break;
+case 82:
+#line 601 ""
+{
+		    yyval.constraint_spec = new_constraint_spec(CT_CONTENTS);
+		    yyval.constraint_spec->u.content.type = yyvsp[0].type;
+		    yyval.constraint_spec->u.content.encoding = NULL;
+		}
+break;
+case 83:
+#line 607 ""
+{
+		    if (yyvsp[0].value->type != objectidentifiervalue)
+			lex_error_message("Non-OID used in ENCODED BY constraint");
+		    yyval.constraint_spec = new_constraint_spec(CT_CONTENTS);
+		    yyval.constraint_spec->u.content.type = NULL;
+		    yyval.constraint_spec->u.content.encoding = yyvsp[0].value;
+		}
+break;
+case 84:
+#line 615 ""
+{
+		    if (yyvsp[0].value->type != objectidentifiervalue)
+			lex_error_message("Non-OID used in ENCODED BY constraint");
+		    yyval.constraint_spec = new_constraint_spec(CT_CONTENTS);
+		    yyval.constraint_spec->u.content.type = yyvsp[-3].type;
+		    yyval.constraint_spec->u.content.encoding = yyvsp[0].value;
+		}
+break;
+case 85:
+#line 625 ""
+{
+		    yyval.constraint_spec = new_constraint_spec(CT_USER);
+		}
+break;
+case 86:
+#line 631 ""
+{
+			yyval.type = new_type(TTag);
+			yyval.type->tag = yyvsp[-2].tag;
+			yyval.type->tag.tagenv = yyvsp[-1].constant;
+			if(yyvsp[0].type->type == TTag && yyvsp[-1].constant == TE_IMPLICIT) {
+				yyval.type->subtype = yyvsp[0].type->subtype;
+				free(yyvsp[0].type);
+			} else
+				yyval.type->subtype = yyvsp[0].type;
+		}
+break;
+case 87:
+#line 644 ""
+{
+			yyval.tag.tagclass = yyvsp[-2].constant;
+			yyval.tag.tagvalue = yyvsp[-1].constant;
+			yyval.tag.tagenv = TE_EXPLICIT;
+		}
+break;
+case 88:
+#line 652 ""
+{
+			yyval.constant = ASN1_C_CONTEXT;
+		}
+break;
+case 89:
+#line 656 ""
+{
+			yyval.constant = ASN1_C_UNIV;
+		}
+break;
+case 90:
+#line 660 ""
+{
+			yyval.constant = ASN1_C_APPL;
+		}
+break;
+case 91:
+#line 664 ""
+{
+			yyval.constant = ASN1_C_PRIVATE;
+		}
+break;
+case 92:
+#line 670 ""
+{
+			yyval.constant = TE_EXPLICIT;
+		}
+break;
+case 93:
+#line 674 ""
+{
+			yyval.constant = TE_EXPLICIT;
+		}
+break;
+case 94:
+#line 678 ""
+{
+			yyval.constant = TE_IMPLICIT;
+		}
+break;
+case 95:
+#line 685 ""
+{
+			Symbol *s;
+			s = addsym (yyvsp[-3].name);
+
+			s->stype = SValue;
+			s->value = yyvsp[0].value;
+			generate_constant (s);
+		}
+break;
+case 97:
+#line 699 ""
+{
+			yyval.type = new_tag(ASN1_C_UNIV, UT_GeneralString,
+				     TE_EXPLICIT, new_type(TGeneralString));
+		}
+break;
+case 98:
+#line 704 ""
+{
+			yyval.type = new_tag(ASN1_C_UNIV, UT_TeletexString,
+				     TE_EXPLICIT, new_type(TTeletexString));
+		}
+break;
+case 99:
+#line 709 ""
+{
+			yyval.type = new_tag(ASN1_C_UNIV, UT_UTF8String,
+				     TE_EXPLICIT, new_type(TUTF8String));
+		}
+break;
+case 100:
+#line 714 ""
+{
+			yyval.type = new_tag(ASN1_C_UNIV, UT_PrintableString,
+				     TE_EXPLICIT, new_type(TPrintableString));
+		}
+break;
+case 101:
+#line 719 ""
+{
+			yyval.type = new_tag(ASN1_C_UNIV, UT_VisibleString,
+				     TE_EXPLICIT, new_type(TVisibleString));
+		}
+break;
+case 102:
+#line 724 ""
+{
+			yyval.type = new_tag(ASN1_C_UNIV, UT_IA5String,
+				     TE_EXPLICIT, new_type(TIA5String));
+		}
+break;
+case 103:
+#line 729 ""
+{
+			yyval.type = new_tag(ASN1_C_UNIV, UT_BMPString,
+				     TE_EXPLICIT, new_type(TBMPString));
+		}
+break;
+case 104:
+#line 734 ""
+{
+			yyval.type = new_tag(ASN1_C_UNIV, UT_UniversalString,
+				     TE_EXPLICIT, new_type(TUniversalString));
+		}
+break;
+case 105:
+#line 742 ""
+{
+			yyval.members = emalloc(sizeof(*yyval.members));
+			ASN1_TAILQ_INIT(yyval.members);
+			ASN1_TAILQ_INSERT_HEAD(yyval.members, yyvsp[0].member, members);
+		}
+break;
+case 106:
+#line 748 ""
+{
+			ASN1_TAILQ_INSERT_TAIL(yyvsp[-2].members, yyvsp[0].member, members);
+			yyval.members = yyvsp[-2].members;
+		}
+break;
+case 107:
+#line 753 ""
+{
+		        struct member *m = ecalloc(1, sizeof(*m));
+			m->name = estrdup("...");
+			m->gen_name = estrdup("asn1_ellipsis");
+			m->ellipsis = 1;
+			ASN1_TAILQ_INSERT_TAIL(yyvsp[-2].members, m, members);
+			yyval.members = yyvsp[-2].members;
+		}
+break;
+case 108:
+#line 764 ""
+{
+		  yyval.member = emalloc(sizeof(*yyval.member));
+		  yyval.member->name = yyvsp[-1].name;
+		  yyval.member->gen_name = estrdup(yyvsp[-1].name);
+		  output_name (yyval.member->gen_name);
+		  yyval.member->type = yyvsp[0].type;
+		  yyval.member->ellipsis = 0;
+		}
+break;
+case 109:
+#line 775 ""
+{
+			yyval.member = yyvsp[0].member;
+			yyval.member->optional = 0;
+			yyval.member->defval = NULL;
+		}
+break;
+case 110:
+#line 781 ""
+{
+			yyval.member = yyvsp[-1].member;
+			yyval.member->optional = 1;
+			yyval.member->defval = NULL;
+		}
+break;
+case 111:
+#line 787 ""
+{
+			yyval.member = yyvsp[-2].member;
+			yyval.member->optional = 0;
+			yyval.member->defval = yyvsp[0].value;
+		}
+break;
+case 112:
+#line 795 ""
+{
+			yyval.members = emalloc(sizeof(*yyval.members));
+			ASN1_TAILQ_INIT(yyval.members);
+			ASN1_TAILQ_INSERT_HEAD(yyval.members, yyvsp[0].member, members);
+		}
+break;
+case 113:
+#line 801 ""
+{
+			ASN1_TAILQ_INSERT_TAIL(yyvsp[-2].members, yyvsp[0].member, members);
+			yyval.members = yyvsp[-2].members;
+		}
+break;
+case 114:
+#line 808 ""
+{
+		  yyval.member = emalloc(sizeof(*yyval.member));
+		  yyval.member->name = yyvsp[-3].name;
+		  yyval.member->gen_name = estrdup(yyvsp[-3].name);
+		  output_name (yyval.member->gen_name);
+		  yyval.member->val = yyvsp[-1].constant;
+		  yyval.member->optional = 0;
+		  yyval.member->ellipsis = 0;
+		  yyval.member->type = NULL;
+		}
+break;
+case 116:
+#line 821 ""
+{ yyval.objid = NULL; }
+break;
+case 117:
+#line 825 ""
+{
+			yyval.objid = yyvsp[-1].objid;
+		}
+break;
+case 118:
+#line 831 ""
+{
+			yyval.objid = NULL;
+		}
+break;
+case 119:
+#line 835 ""
+{
+		        if (yyvsp[0].objid) {
+				yyval.objid = yyvsp[0].objid;
+				add_oid_to_tail(yyvsp[0].objid, yyvsp[-1].objid);
+			} else {
+				yyval.objid = yyvsp[-1].objid;
+			}
+		}
+break;
+case 120:
+#line 846 ""
+{
+			yyval.objid = new_objid(yyvsp[-3].name, yyvsp[-1].constant);
+		}
+break;
+case 121:
+#line 850 ""
+{
+		    Symbol *s = addsym(yyvsp[0].name);
+		    if(s->stype != SValue ||
+		       s->value->type != objectidentifiervalue) {
+			lex_error_message("%s is not an object identifier\n",
+				      s->name);
+			exit(1);
+		    }
+		    yyval.objid = s->value->u.objectidentifiervalue;
+		}
+break;
+case 122:
+#line 861 ""
+{
+		    yyval.objid = new_objid(NULL, yyvsp[0].constant);
+		}
+break;
+case 132:
+#line 884 ""
+{
+			Symbol *s = addsym(yyvsp[0].name);
+			if(s->stype != SValue)
+				lex_error_message ("%s is not a value\n",
+						s->name);
+			else
+				yyval.value = s->value;
+		}
+break;
+case 133:
+#line 895 ""
+{
+			yyval.value = emalloc(sizeof(*yyval.value));
+			yyval.value->type = stringvalue;
+			yyval.value->u.stringvalue = yyvsp[0].name;
+		}
+break;
+case 134:
+#line 903 ""
+{
+			yyval.value = emalloc(sizeof(*yyval.value));
+			yyval.value->type = booleanvalue;
+			yyval.value->u.booleanvalue = 0;
+		}
+break;
+case 135:
+#line 909 ""
+{
+			yyval.value = emalloc(sizeof(*yyval.value));
+			yyval.value->type = booleanvalue;
+			yyval.value->u.booleanvalue = 0;
+		}
+break;
+case 136:
+#line 917 ""
+{
+			yyval.value = emalloc(sizeof(*yyval.value));
+			yyval.value->type = integervalue;
+			yyval.value->u.integervalue = yyvsp[0].constant;
+		}
+break;
+case 138:
+#line 928 ""
+{
+		}
+break;
+case 139:
+#line 933 ""
+{
+			yyval.value = emalloc(sizeof(*yyval.value));
+			yyval.value->type = objectidentifiervalue;
+			yyval.value->u.objectidentifiervalue = yyvsp[0].objid;
+		}
+break;
+#line 1553 ""
+    }
+    yyssp -= yym;
+    yystate = *yyssp;
+    yyvsp -= yym;
+    yym = yylhs[yyn];
+    if (yystate == 0 && yym == 0)
+    {
+#if YYDEBUG
+        if (yydebug)
+            printf("%sdebug: after reduction, shifting from state 0 to\
+ state %d\n", YYPREFIX, YYFINAL);
+#endif
+        yystate = YYFINAL;
+        *++yyssp = YYFINAL;
+        *++yyvsp = yyval;
+        if (yychar < 0)
+        {
+            if ((yychar = yylex()) < 0) yychar = 0;
+#if YYDEBUG
+            if (yydebug)
+            {
+                yys = 0;
+                if (yychar <= YYMAXTOKEN) yys = yyname[yychar];
+                if (!yys) yys = "illegal-symbol";
+                printf("%sdebug: state %d, reading %d (%s)\n",
+                        YYPREFIX, YYFINAL, yychar, yys);
+            }
+#endif
+        }
+        if (yychar == 0) goto yyaccept;
+        goto yyloop;
+    }
+    if ((yyn = yygindex[yym]) && (yyn += yystate) >= 0 &&
+            yyn <= YYTABLESIZE && yycheck[yyn] == yystate)
+        yystate = yytable[yyn];
+    else
+        yystate = yydgoto[yym];
+#if YYDEBUG
+    if (yydebug)
+        printf("%sdebug: after reduction, shifting from state %d \
+to state %d\n", YYPREFIX, *yyssp, yystate);
+#endif
+    if (yyssp >= yysslim && yygrowstack())
+    {
+        goto yyoverflow;
+    }
+    *++yyssp = yystate;
+    *++yyvsp = yyval;
+    goto yyloop;
+
+yyoverflow:
+    yyerror("yacc stack overflow");
+
+yyabort:
+    return (1);
+
+yyaccept:
+    return (0);
+}
diff --git a/source4/heimdal/lib/asn1/asn1parse.h b/source4/heimdal/lib/asn1/asn1parse.h
new file mode 100644
index 0000000000..9e526403b2
--- /dev/null
+++ b/source4/heimdal/lib/asn1/asn1parse.h
@@ -0,0 +1,102 @@
+#define kw_ABSENT 257
+#define kw_ABSTRACT_SYNTAX 258
+#define kw_ALL 259
+#define kw_APPLICATION 260
+#define kw_AUTOMATIC 261
+#define kw_BEGIN 262
+#define kw_BIT 263
+#define kw_BMPString 264
+#define kw_BOOLEAN 265
+#define kw_BY 266
+#define kw_CHARACTER 267
+#define kw_CHOICE 268
+#define kw_CLASS 269
+#define kw_COMPONENT 270
+#define kw_COMPONENTS 271
+#define kw_CONSTRAINED 272
+#define kw_CONTAINING 273
+#define kw_DEFAULT 274
+#define kw_DEFINITIONS 275
+#define kw_EMBEDDED 276
+#define kw_ENCODED 277
+#define kw_END 278
+#define kw_ENUMERATED 279
+#define kw_EXCEPT 280
+#define kw_EXPLICIT 281
+#define kw_EXPORTS 282
+#define kw_EXTENSIBILITY 283
+#define kw_EXTERNAL 284
+#define kw_FALSE 285
+#define kw_FROM 286
+#define kw_GeneralString 287
+#define kw_GeneralizedTime 288
+#define kw_GraphicString 289
+#define kw_IA5String 290
+#define kw_IDENTIFIER 291
+#define kw_IMPLICIT 292
+#define kw_IMPLIED 293
+#define kw_IMPORTS 294
+#define kw_INCLUDES 295
+#define kw_INSTANCE 296
+#define kw_INTEGER 297
+#define kw_INTERSECTION 298
+#define kw_ISO646String 299
+#define kw_MAX 300
+#define kw_MIN 301
+#define kw_MINUS_INFINITY 302
+#define kw_NULL 303
+#define kw_NumericString 304
+#define kw_OBJECT 305
+#define kw_OCTET 306
+#define kw_OF 307
+#define kw_OPTIONAL 308
+#define kw_ObjectDescriptor 309
+#define kw_PATTERN 310
+#define kw_PDV 311
+#define kw_PLUS_INFINITY 312
+#define kw_PRESENT 313
+#define kw_PRIVATE 314
+#define kw_PrintableString 315
+#define kw_REAL 316
+#define kw_RELATIVE_OID 317
+#define kw_SEQUENCE 318
+#define kw_SET 319
+#define kw_SIZE 320
+#define kw_STRING 321
+#define kw_SYNTAX 322
+#define kw_T61String 323
+#define kw_TAGS 324
+#define kw_TRUE 325
+#define kw_TYPE_IDENTIFIER 326
+#define kw_TeletexString 327
+#define kw_UNION 328
+#define kw_UNIQUE 329
+#define kw_UNIVERSAL 330
+#define kw_UTCTime 331
+#define kw_UTF8String 332
+#define kw_UniversalString 333
+#define kw_VideotexString 334
+#define kw_VisibleString 335
+#define kw_WITH 336
+#define RANGE 337
+#define EEQUAL 338
+#define ELLIPSIS 339
+#define IDENTIFIER 340
+#define referencename 341
+#define STRING 342
+#define NUMBER 343
+typedef union {
+    int constant;
+    struct value *value;
+    struct range *range;
+    char *name;
+    Type *type;
+    Member *member;
+    struct objid *objid;
+    char *defval;
+    struct string_list *sl;
+    struct tagtype tag;
+    struct memhead *members;
+    struct constraint_spec *constraint_spec;
+} YYSTYPE;
+extern YYSTYPE yylval;
diff --git a/source4/heimdal/lib/asn1/lex.c b/source4/heimdal/lib/asn1/lex.c
index fd19f23f8d..264d573008 100644
--- a/source4/heimdal/lib/asn1/lex.c
+++ b/source4/heimdal/lib/asn1/lex.c
@@ -1,6 +1,6 @@
 #include "config.h"
 
-#line 3 "heimdal/lib/asn1/lex.c"
+#line 3 ""
 
 #define  YY_INT_ALIGNED short int
 
@@ -848,7 +848,7 @@ static unsigned lineno = 1;
 static void unterminated(const char *, unsigned);
 
 /* This is for broken old lexes (solaris 10 and hpux) */
-#line 851 "heimdal/lib/asn1/lex.c"
+#line 851 ""
 
 #define INITIAL 0
 
@@ -1032,7 +1032,7 @@ YY_DECL
     
 #line 68 "lex.l"
 
-#line 1035 "heimdal/lib/asn1/lex.c"
+#line 1035 ""
 
 	if ( !(yy_init) )
 		{
@@ -1657,7 +1657,7 @@ YY_RULE_SETUP
 			  yylval.constant = strtol((const char *)yytext,
 						   &e, 0);
 			  if(e == y)
-			    lex_err_message("malformed constant (%s)", yytext);
+			    lex_error_message("malformed constant (%s)", yytext);
 			  else
 			    return NUMBER;
 			}
@@ -1694,14 +1694,14 @@ YY_RULE_SETUP
 case 94:
 YY_RULE_SETUP
 #line 273 "lex.l"
-{ lex_err_message("Ignoring char(%c)\n", *yytext); }
+{ lex_error_message("Ignoring char(%c)\n", *yytext); }
 	YY_BREAK
 case 95:
 YY_RULE_SETUP
 #line 274 "lex.l"
 ECHO;
 	YY_BREAK
-#line 1704 "heimdal/lib/asn1/lex.c"
+#line 1704 ""
 case YY_STATE_EOF(INITIAL):
 	yyterminate();
 
@@ -2712,7 +2712,7 @@ yywrap ()
 #endif
 
 void
-lex_err_message (const char *format, ...)
+lex_error_message (const char *format, ...)
 {
     va_list args;
 
@@ -2726,6 +2726,6 @@ lex_err_message (const char *format, ...)
 static void
 unterminated(const char *type, unsigned start_lineno)
 {
-    lex_err_message("unterminated %s, possibly started on line %d\n", type, start_lineno);
+    lex_error_message("unterminated %s, possibly started on line %d\n", type, start_lineno);
 }