diff --git a/lib/asn1/main.c b/lib/asn1/main.c
index d36475f0f..aead38adf 100644
--- a/lib/asn1/main.c
+++ b/lib/asn1/main.c
@@ -40,6 +40,7 @@ RCSID("$Id$");
 extern FILE *yyin;
 
 static getarg_strings preserve;
+static getarg_strings seq;
 
 int
 preserve_type(const char *p)
@@ -51,6 +52,16 @@ preserve_type(const char *p)
     return 0;
 }
 
+int
+seq_type(const char *p)
+{
+    int i;
+    for (i = 0; i < seq.num_strings; i++)
+	if (strcmp(seq.strings[i], p) == 0)
+	    return 1;
+    return 0;
+}
+
 int dce_fix;
 int rfc1510_bitstring;
 int version_flag;
@@ -59,6 +70,7 @@ struct getargs args[] = {
     { "encode-rfc1510-bit-string", 0, arg_flag, &rfc1510_bitstring },
     { "decode-dce-ber", 0, arg_flag, &dce_fix },
     { "preserve-binary", 0, arg_strings, &preserve },
+    { "sequence", 0, arg_strings, &seq },
     { "version", 0, arg_flag, &version_flag },
     { "help", 0, arg_flag, &help_flag }
 };