Merge branch 'bjorn/asn1/not-small-bugs/OTP-11153' into maint

* bjorn/asn1/not-small-bugs/OTP-11153:
  PER/UPER: Correct decoding of SEQUENCEs with more than 64 extensions
  testConstraints: Improve tests of semi-constrained INTEGERs
  Test ENUMERATED with many extended values
  UPER: Correct encoding of ENUMERATED with more than 63 extended values
  Add asn1_test_lib:hex_to_bin/1

7 files changed, 329 insertions, 8 deletions

diff --git a/lib/asn1/test/asn1_SUITE.erl b/lib/asn1/test/asn1_SUITE.erl
index 6be493320c..f00b23a8b2 100644
--- a/lib/asn1/test/asn1_SUITE.erl
+++ b/lib/asn1/test/asn1_SUITE.erl
@@ -454,10 +454,13 @@ testSeqDefault(Config, Rule, Opts) ->
 
 testSeqExtension(Config) -> test(Config, fun testSeqExtension/3).
 testSeqExtension(Config, Rule, Opts) ->
-    asn1_test_lib:compile_all(["External", "SeqExtension"], Config,
+    asn1_test_lib:compile_all(["External",
+			       "SeqExtension",
+			       "SeqExtension2"],
+			      Config,
                               [Rule|Opts]),
     DataDir = ?config(data_dir, Config),
-    testSeqExtension:main(DataDir, [Rule|Opts]).
+    testSeqExtension:main(Rule, DataDir, [Rule|Opts]).
 
 testSeqExternal(Config) -> test(Config, fun testSeqExternal/3).
 testSeqExternal(Config, Rule, Opts) ->
diff --git a/lib/asn1/test/asn1_SUITE_data/EnumExt.asn1 b/lib/asn1/test/asn1_SUITE_data/EnumExt.asn1
index 3a727e46bb..8dc5f3d7e1 100644
--- a/lib/asn1/test/asn1_SUITE_data/EnumExt.asn1
+++ b/lib/asn1/test/asn1_SUITE_data/EnumExt.asn1
@@ -31,5 +31,25 @@ Seq ::= SEQUENCE {
    i INTEGER
 }
 
+EnumExtBig ::= ENUMERATED {
+  base,
+  ...,
+  e00,e01,e02,e03,e04,e05,e06,e07,e08,e09,e0a,e0b,e0c,e0d,e0e,e0f,
+  e10,e11,e12,e13,e14,e15,e16,e17,e18,e19,e1a,e1b,e1c,e1d,e1e,e1f,
+  e20,e21,e22,e23,e24,e25,e26,e27,e28,e29,e2a,e2b,e2c,e2d,e2e,e2f,
+  e30,e31,e32,e33,e34,e35,e36,e37,e38,e39,e3a,e3b,e3c,e3d,e3e,e3f,
+  e40,e41,e42,e43,e44,e45,e46,e47,e48,e49,e4a,e4b,e4c,e4d,e4e,e4f,
+  e50,e51,e52,e53,e54,e55,e56,e57,e58,e59,e5a,e5b,e5c,e5d,e5e,e5f,
+  e60,e61,e62,e63,e64,e65,e66,e67,e68,e69,e6a,e6b,e6c,e6d,e6e,e6f,
+  e70,e71,e72,e73,e74,e75,e76,e77,e78,e79,e7a,e7b,e7c,e7d,e7e,e7f,
+  e80
+}
+
+SeqBig ::= SEQUENCE {
+  b BOOLEAN,
+  e EnumExtBig,
+  i INTEGER
+}
+
 END
 
diff --git a/lib/asn1/test/asn1_SUITE_data/SeqExtension2.asn1 b/lib/asn1/test/asn1_SUITE_data/SeqExtension2.asn1
new file mode 100644
index 0000000000..44900d9d39
--- /dev/null
+++ b/lib/asn1/test/asn1_SUITE_data/SeqExtension2.asn1
@@ -0,0 +1,208 @@
+SeqExtension2 DEFINITIONS AUTOMATIC TAGS ::=
+BEGIN
+
+SeqExt66 ::= SEQUENCE {
+  ...,
+  i0 INTEGER (0..127) OPTIONAL,
+  i1 INTEGER (0..127) OPTIONAL,
+  i2 INTEGER (0..127) OPTIONAL,
+  i3 INTEGER (0..127) OPTIONAL,
+  i4 INTEGER (0..127) OPTIONAL,
+  i5 INTEGER (0..127) OPTIONAL,
+  i6 INTEGER (0..127) OPTIONAL,
+  i7 INTEGER (0..127) OPTIONAL,
+  i8 INTEGER (0..127) OPTIONAL,
+  i9 INTEGER (0..127) OPTIONAL,
+  i10 INTEGER (0..127) OPTIONAL,
+  i11 INTEGER (0..127) OPTIONAL,
+  i12 INTEGER (0..127) OPTIONAL,
+  i13 INTEGER (0..127) OPTIONAL,
+  i14 INTEGER (0..127) OPTIONAL,
+  i15 INTEGER (0..127) OPTIONAL,
+  i16 INTEGER (0..127) OPTIONAL,
+  i17 INTEGER (0..127) OPTIONAL,
+  i18 INTEGER (0..127) OPTIONAL,
+  i19 INTEGER (0..127) OPTIONAL,
+  i20 INTEGER (0..127) OPTIONAL,
+  i21 INTEGER (0..127) OPTIONAL,
+  i22 INTEGER (0..127) OPTIONAL,
+  i23 INTEGER (0..127) OPTIONAL,
+  i24 INTEGER (0..127) OPTIONAL,
+  i25 INTEGER (0..127) OPTIONAL,
+  i26 INTEGER (0..127) OPTIONAL,
+  i27 INTEGER (0..127) OPTIONAL,
+  i28 INTEGER (0..127) OPTIONAL,
+  i29 INTEGER (0..127) OPTIONAL,
+  i30 INTEGER (0..127) OPTIONAL,
+  i31 INTEGER (0..127) OPTIONAL,
+  i32 INTEGER (0..127) OPTIONAL,
+  i33 INTEGER (0..127) OPTIONAL,
+  i34 INTEGER (0..127) OPTIONAL,
+  i35 INTEGER (0..127) OPTIONAL,
+  i36 INTEGER (0..127) OPTIONAL,
+  i37 INTEGER (0..127) OPTIONAL,
+  i38 INTEGER (0..127) OPTIONAL,
+  i39 INTEGER (0..127) OPTIONAL,
+  i40 INTEGER (0..127) OPTIONAL,
+  i41 INTEGER (0..127) OPTIONAL,
+  i42 INTEGER (0..127) OPTIONAL,
+  i43 INTEGER (0..127) OPTIONAL,
+  i44 INTEGER (0..127) OPTIONAL,
+  i45 INTEGER (0..127) OPTIONAL,
+  i46 INTEGER (0..127) OPTIONAL,
+  i47 INTEGER (0..127) OPTIONAL,
+  i48 INTEGER (0..127) OPTIONAL,
+  i49 INTEGER (0..127) OPTIONAL,
+  i50 INTEGER (0..127) OPTIONAL,
+  i51 INTEGER (0..127) OPTIONAL,
+  i52 INTEGER (0..127) OPTIONAL,
+  i53 INTEGER (0..127) OPTIONAL,
+  i54 INTEGER (0..127) OPTIONAL,
+  i55 INTEGER (0..127) OPTIONAL,
+  i56 INTEGER (0..127) OPTIONAL,
+  i57 INTEGER (0..127) OPTIONAL,
+  i58 INTEGER (0..127) OPTIONAL,
+  i59 INTEGER (0..127) OPTIONAL,
+  i60 INTEGER (0..127) OPTIONAL,
+  i61 INTEGER (0..127) OPTIONAL,
+  i62 INTEGER (0..127) OPTIONAL,
+  i63 INTEGER (0..127) OPTIONAL,
+  i64 INTEGER (0..127) OPTIONAL,
+  i65 INTEGER (0..127) OPTIONAL
+}
+
+SeqExt130 ::= SEQUENCE {
+  ...,
+  i0 INTEGER (0..255) OPTIONAL,
+  i1 INTEGER (0..255) OPTIONAL,
+  i2 INTEGER (0..255) OPTIONAL,
+  i3 INTEGER (0..255) OPTIONAL,
+  i4 INTEGER (0..255) OPTIONAL,
+  i5 INTEGER (0..255) OPTIONAL,
+  i6 INTEGER (0..255) OPTIONAL,
+  i7 INTEGER (0..255) OPTIONAL,
+  i8 INTEGER (0..255) OPTIONAL,
+  i9 INTEGER (0..255) OPTIONAL,
+  i10 INTEGER (0..255) OPTIONAL,
+  i11 INTEGER (0..255) OPTIONAL,
+  i12 INTEGER (0..255) OPTIONAL,
+  i13 INTEGER (0..255) OPTIONAL,
+  i14 INTEGER (0..255) OPTIONAL,
+  i15 INTEGER (0..255) OPTIONAL,
+  i16 INTEGER (0..255) OPTIONAL,
+  i17 INTEGER (0..255) OPTIONAL,
+  i18 INTEGER (0..255) OPTIONAL,
+  i19 INTEGER (0..255) OPTIONAL,
+  i20 INTEGER (0..255) OPTIONAL,
+  i21 INTEGER (0..255) OPTIONAL,
+  i22 INTEGER (0..255) OPTIONAL,
+  i23 INTEGER (0..255) OPTIONAL,
+  i24 INTEGER (0..255) OPTIONAL,
+  i25 INTEGER (0..255) OPTIONAL,
+  i26 INTEGER (0..255) OPTIONAL,
+  i27 INTEGER (0..255) OPTIONAL,
+  i28 INTEGER (0..255) OPTIONAL,
+  i29 INTEGER (0..255) OPTIONAL,
+  i30 INTEGER (0..255) OPTIONAL,
+  i31 INTEGER (0..255) OPTIONAL,
+  i32 INTEGER (0..255) OPTIONAL,
+  i33 INTEGER (0..255) OPTIONAL,
+  i34 INTEGER (0..255) OPTIONAL,
+  i35 INTEGER (0..255) OPTIONAL,
+  i36 INTEGER (0..255) OPTIONAL,
+  i37 INTEGER (0..255) OPTIONAL,
+  i38 INTEGER (0..255) OPTIONAL,
+  i39 INTEGER (0..255) OPTIONAL,
+  i40 INTEGER (0..255) OPTIONAL,
+  i41 INTEGER (0..255) OPTIONAL,
+  i42 INTEGER (0..255) OPTIONAL,
+  i43 INTEGER (0..255) OPTIONAL,
+  i44 INTEGER (0..255) OPTIONAL,
+  i45 INTEGER (0..255) OPTIONAL,
+  i46 INTEGER (0..255) OPTIONAL,
+  i47 INTEGER (0..255) OPTIONAL,
+  i48 INTEGER (0..255) OPTIONAL,
+  i49 INTEGER (0..255) OPTIONAL,
+  i50 INTEGER (0..255) OPTIONAL,
+  i51 INTEGER (0..255) OPTIONAL,
+  i52 INTEGER (0..255) OPTIONAL,
+  i53 INTEGER (0..255) OPTIONAL,
+  i54 INTEGER (0..255) OPTIONAL,
+  i55 INTEGER (0..255) OPTIONAL,
+  i56 INTEGER (0..255) OPTIONAL,
+  i57 INTEGER (0..255) OPTIONAL,
+  i58 INTEGER (0..255) OPTIONAL,
+  i59 INTEGER (0..255) OPTIONAL,
+  i60 INTEGER (0..255) OPTIONAL,
+  i61 INTEGER (0..255) OPTIONAL,
+  i62 INTEGER (0..255) OPTIONAL,
+  i63 INTEGER (0..255) OPTIONAL,
+  i64 INTEGER (0..255) OPTIONAL,
+  i65 INTEGER (0..255) OPTIONAL,
+  i66 INTEGER (0..255) OPTIONAL,
+  i67 INTEGER (0..255) OPTIONAL,
+  i68 INTEGER (0..255) OPTIONAL,
+  i69 INTEGER (0..255) OPTIONAL,
+  i70 INTEGER (0..255) OPTIONAL,
+  i71 INTEGER (0..255) OPTIONAL,
+  i72 INTEGER (0..255) OPTIONAL,
+  i73 INTEGER (0..255) OPTIONAL,
+  i74 INTEGER (0..255) OPTIONAL,
+  i75 INTEGER (0..255) OPTIONAL,
+  i76 INTEGER (0..255) OPTIONAL,
+  i77 INTEGER (0..255) OPTIONAL,
+  i78 INTEGER (0..255) OPTIONAL,
+  i79 INTEGER (0..255) OPTIONAL,
+  i80 INTEGER (0..255) OPTIONAL,
+  i81 INTEGER (0..255) OPTIONAL,
+  i82 INTEGER (0..255) OPTIONAL,
+  i83 INTEGER (0..255) OPTIONAL,
+  i84 INTEGER (0..255) OPTIONAL,
+  i85 INTEGER (0..255) OPTIONAL,
+  i86 INTEGER (0..255) OPTIONAL,
+  i87 INTEGER (0..255) OPTIONAL,
+  i88 INTEGER (0..255) OPTIONAL,
+  i89 INTEGER (0..255) OPTIONAL,
+  i90 INTEGER (0..255) OPTIONAL,
+  i91 INTEGER (0..255) OPTIONAL,
+  i92 INTEGER (0..255) OPTIONAL,
+  i93 INTEGER (0..255) OPTIONAL,
+  i94 INTEGER (0..255) OPTIONAL,
+  i95 INTEGER (0..255) OPTIONAL,
+  i96 INTEGER (0..255) OPTIONAL,
+  i97 INTEGER (0..255) OPTIONAL,
+  i98 INTEGER (0..255) OPTIONAL,
+  i99 INTEGER (0..255) OPTIONAL,
+  i100 INTEGER (0..255) OPTIONAL,
+  i101 INTEGER (0..255) OPTIONAL,
+  i102 INTEGER (0..255) OPTIONAL,
+  i103 INTEGER (0..255) OPTIONAL,
+  i104 INTEGER (0..255) OPTIONAL,
+  i105 INTEGER (0..255) OPTIONAL,
+  i106 INTEGER (0..255) OPTIONAL,
+  i107 INTEGER (0..255) OPTIONAL,
+  i108 INTEGER (0..255) OPTIONAL,
+  i109 INTEGER (0..255) OPTIONAL,
+  i110 INTEGER (0..255) OPTIONAL,
+  i111 INTEGER (0..255) OPTIONAL,
+  i112 INTEGER (0..255) OPTIONAL,
+  i113 INTEGER (0..255) OPTIONAL,
+  i114 INTEGER (0..255) OPTIONAL,
+  i115 INTEGER (0..255) OPTIONAL,
+  i116 INTEGER (0..255) OPTIONAL,
+  i117 INTEGER (0..255) OPTIONAL,
+  i118 INTEGER (0..255) OPTIONAL,
+  i119 INTEGER (0..255) OPTIONAL,
+  i120 INTEGER (0..255) OPTIONAL,
+  i121 INTEGER (0..255) OPTIONAL,
+  i122 INTEGER (0..255) OPTIONAL,
+  i123 INTEGER (0..255) OPTIONAL,
+  i124 INTEGER (0..255) OPTIONAL,
+  i125 INTEGER (0..255) OPTIONAL,
+  i126 INTEGER (0..255) OPTIONAL,
+  i127 INTEGER (0..255) OPTIONAL,
+  i128 INTEGER (0..255) OPTIONAL,
+  i129 INTEGER (0..255) OPTIONAL
+}
+
+END
diff --git a/lib/asn1/test/asn1_test_lib.erl b/lib/asn1/test/asn1_test_lib.erl
index b839dfcf2a..7d7364e2a4 100644
--- a/lib/asn1/test/asn1_test_lib.erl
+++ b/lib/asn1/test/asn1_test_lib.erl
@@ -22,6 +22,7 @@
 -export([compile/3]).
 -export([compile_all/3]).
 -export([compile_erlang/3]).
+-export([hex_to_bin/1]).
 
 -export([ticket_7407_compile/2,ticket_7407_code/1, ticket_7678/2,
          ticket_7708/2, ticket_7763/1, ticket_7876/3]).
@@ -61,6 +62,13 @@ compile_erlang(Mod, Config, Options) ->
     {ok, M} = compile:file(filename:join(DataDir, Mod),
                            [report,{i,CaseDir},{outdir,CaseDir}|Options]).
 
+hex_to_bin(S) ->
+    << <<(hex2num(C)):4>> || C <- S, C =/= $\s >>.
+
+%%%
+%%% Internal functions.
+%%%
+
 should_load(File, Options) ->
     case lists:member(abs, Options) of
 	true ->
@@ -79,6 +87,10 @@ strip_extension(File, Ext) when Ext == ".asn"; Ext == ".set"; Ext == ".asn1"->
 strip_extension(File, _Ext) ->
     File.
 
+hex2num(C) when $0 =< C, C =< $9 -> C - $0;
+hex2num(C) when $A =< C, C =< $F -> C - $A + 10;
+hex2num(C) when $a =< C, C =< $f -> C - $a + 10.
+
 ticket_7407_compile(Config,Option) ->
 
     ?line DataDir = ?config(data_dir,Config),
diff --git a/lib/asn1/test/testConstraints.erl b/lib/asn1/test/testConstraints.erl
index e825302629..14e508d2b5 100644
--- a/lib/asn1/test/testConstraints.erl
+++ b/lib/asn1/test/testConstraints.erl
@@ -126,19 +126,29 @@ int_constraints(Rules) ->
     %%==========================================================
 
     roundtrip('SemiConstrained', 100),
+    v_roundtrip(Rules, 'SemiConstrained', 100+128),
     roundtrip('SemiConstrained', 397249742397243),
+    roundtrip('SemiConstrained', 100 + 1 bsl 128*8),
+    roundtrip('SemiConstrained', 100 + 1 bsl 256*8),
+
     roundtrip('NegSemiConstrained', -128),
+    v_roundtrip(Rules, 'NegSemiConstrained', 0),
     roundtrip('NegSemiConstrained', -1),
     roundtrip('NegSemiConstrained', 500),
 
     roundtrip('SemiConstrainedExt', -65536),
     roundtrip('SemiConstrainedExt', 0),
     roundtrip('SemiConstrainedExt', 42),
+    v_roundtrip(Rules, 'SemiConstrainedExt', 42+128),
     roundtrip('SemiConstrainedExt', 100),
     roundtrip('SemiConstrainedExt', 47777789),
+    roundtrip('SemiConstrainedExt', 42 + 1 bsl 128*8),
+    roundtrip('SemiConstrainedExt', 42 + 1 bsl 256*8),
+
     roundtrip('NegSemiConstrainedExt', -1023),
     roundtrip('NegSemiConstrainedExt', -128),
     roundtrip('NegSemiConstrainedExt', -1),
+    v_roundtrip(Rules, 'NegSemiConstrainedExt', 0),
     roundtrip('NegSemiConstrainedExt', 500),
 
     %%==========================================================
@@ -174,6 +184,21 @@ int_constraints(Rules) ->
 
     ok.
 
+%% PER: Ensure that if the lower bound is Lb, Lb+16#80 is encoded
+%% in two bytes as 16#0180. (Not in three bytes as 16#010080.)
+v(ber, 'SemiConstrained', 100+128) -> "020200E4";
+v(per, 'SemiConstrained', 100+128) -> "0180";
+v(uper, 'SemiConstrained', 100+128) -> "0180";
+v(ber, 'NegSemiConstrained', 0) -> "020100";
+v(per, 'NegSemiConstrained', 0) -> "0180";
+v(uper, 'NegSemiConstrained', 0) -> "0180";
+v(ber, 'SemiConstrainedExt', 42+128) -> "020200AA";
+v(per, 'SemiConstrainedExt', 42+128) -> "000180";
+v(uper, 'SemiConstrainedExt', 42+128) -> "00C000";
+v(ber, 'NegSemiConstrainedExt', 0) -> "020100";
+v(per, 'NegSemiConstrainedExt', 0) -> "000180";
+v(uper, 'NegSemiConstrainedExt', 0) -> "00C000".
+
 shorter_ext(per, "a") -> <<16#80,16#01,16#61>>;
 shorter_ext(uper, "a") -> <<16#80,16#E1>>;
 shorter_ext(ber, _) -> none.
@@ -183,13 +208,17 @@ refed_NNL_name(_Erule) ->
     ?line {error,_Reason} = 
 	asn1_wrapper:encode('Constraints','AnotherThing',fred3).
 
+v_roundtrip(Erule, Type, Value) ->
+    Encoded = asn1_test_lib:hex_to_bin(v(Erule, Type, Value)),
+    Encoded = roundtrip('Constraints', Type, Value).
+
 roundtrip(Type, Value) ->
     roundtrip('Constraints', Type, Value).
 
 roundtrip(Module, Type, Value) ->
     {ok,Encoded} = Module:encode(Type, Value),
     {ok,Value} = Module:decode(Type, Encoded),
-    ok.
+    Encoded.
 
 roundtrip_enc(Type, Value, Enc) ->
     Module = 'Constraints',
diff --git a/lib/asn1/test/testEnumExt.erl b/lib/asn1/test/testEnumExt.erl
index 8840ed6d2f..8779f3b83b 100644
--- a/lib/asn1/test/testEnumExt.erl
+++ b/lib/asn1/test/testEnumExt.erl
@@ -38,7 +38,7 @@ main(Rule) when Rule =:= per; Rule =:= uper ->
     %% ENUMERATED no extensionmark 
     B64 = <<64>>,
     B64 = roundtrip('Noext', red),
-    common();
+    common(Rule);
 main(ber) ->
     io:format("main(ber)~n",[]),
     %% ENUMERATED with extensionmark (value is in root set)
@@ -56,18 +56,38 @@ main(ber) ->
     roundtrip('Globalstate', preop),
     roundtrip('Globalstate', com),
 
-    common().
+    common(ber).
 
-common() ->
+common(Erule) ->
     roundtrip('Seq', {'Seq',blue,42}),
     roundtrip('Seq', {'Seq',red,42}),
     roundtrip('Seq', {'Seq',green,42}),
     roundtrip('Seq', {'Seq',orange,47}),
     roundtrip('Seq', {'Seq',black,4711}),
     roundtrip('Seq', {'Seq',magenta,4712}),
+
+    [begin
+	 S = io_lib:format("e~2.016.0b", [I]),
+	 E = list_to_atom(lists:flatten(S)),
+	 roundtrip('SeqBig', {'SeqBig',true,E,9357})
+     end || I <- lists:seq(0, 128)],
+
+    v_roundtrip(Erule, 'SeqBig', {'SeqBig',true,e40,9357}),
+    v_roundtrip(Erule, 'SeqBig', {'SeqBig',true,e80,9357}),
     ok.
 
 roundtrip(Type, Value) ->
     {ok,Encoded} = 'EnumExt':encode(Type, Value),
     {ok,Value} = 'EnumExt':decode(Type, Encoded),
     Encoded.
+
+v_roundtrip(Erule, Type, Value) ->
+    Encoded = roundtrip(Type, Value),
+    Encoded = asn1_test_lib:hex_to_bin(v(Erule, Value)).
+
+v(ber, {'SeqBig',true,e40,9357}) -> "300A8001 FF810141 8202248D";
+v(ber, {'SeqBig',true,e80,9357}) -> "300B8001 FF810200 81820224 8D";
+v(per, {'SeqBig',true,e40,9357}) -> "E0014002 248D";
+v(per, {'SeqBig',true,e80,9357}) -> "E0018002 248D";
+v(uper, {'SeqBig',true,e40,9357}) -> "E0280044 91A0";
+v(uper, {'SeqBig',true,e80,9357}) -> "E0300044 91A0".
diff --git a/lib/asn1/test/testSeqExtension.erl b/lib/asn1/test/testSeqExtension.erl
index 1128d9a7c3..724f485fa0 100644
--- a/lib/asn1/test/testSeqExtension.erl
+++ b/lib/asn1/test/testSeqExtension.erl
@@ -20,7 +20,7 @@
 -module(testSeqExtension).
 
 -include("External.hrl").
--export([main/2]).
+-export([main/3]).
 
 -include_lib("test_server/include/test_server.hrl").
 
@@ -32,7 +32,7 @@
 -record('SeqExt6',{i1,i2,i3,i4,i5,i6,i7}).
 -record('SuperSeq',{s1,s2,s3,s4,s5,s6,i}).
 
-main(DataDir, Opts) ->
+main(Erule, DataDir, Opts) ->
     roundtrip('SeqExt1', #'SeqExt1'{}),
 
     roundtrip('SeqExt2', #'SeqExt2'{bool=true,int=99}),
@@ -92,9 +92,38 @@ main(DataDir, Opts) ->
 		s5={'SeqExt5'},
 		s6={'SeqExt6',531,601,999,777,11953},
 		i=BigInt} = DecodedSuperSeq,
+
+
+    %% Test more than 64 extensions.
+    roundtrip2('SeqExt66',
+	       list_to_tuple(['SeqExt66'|lists:seq(0, 65)])),
+    v_roundtrip2(Erule, 'SeqExt66',
+		 list_to_tuple(['SeqExt66'|
+				lists:duplicate(65, asn1_NOVALUE)++[125]])),
+    roundtrip2('SeqExt130',
+	       list_to_tuple(['SeqExt130'|lists:seq(0, 129)])),
+    v_roundtrip2(Erule, 'SeqExt130',
+		 list_to_tuple(['SeqExt130'|
+				lists:duplicate(129, asn1_NOVALUE)++[199]])),
     ok.
 
 roundtrip(Type, Value) ->
     {ok,Encoded} = 'SeqExtension':encode(Type, Value),
     {ok,Value} = 'SeqExtension':decode(Type, Encoded),
     ok.
+
+v_roundtrip2(Erule, Type, Value) ->
+    Encoded = asn1_test_lib:hex_to_bin(v(Erule, Type)),
+    Encoded = roundtrip2(Type, Value).
+
+roundtrip2(Type, Value) ->
+    {ok,Encoded} = 'SeqExtension2':encode(Type, Value),
+    {ok,Value} = 'SeqExtension2':decode(Type, Encoded),
+    Encoded.
+
+v(ber, 'SeqExt66') ->  "30049F41 017D";
+v(per, 'SeqExt66') ->  "C0420000 00000000 00004001 FA";
+v(uper, 'SeqExt66') -> "D0800000 00000000 00101FA0";
+v(ber, 'SeqExt130') ->  "30069F81 010200C7";
+v(per, 'SeqExt130') ->  "C0808200 00000000 00000000 00000000 00000040 01C7";
+v(uper, 'SeqExt130') -> "E0208000 00000000 00000000 00000000 0000101C 70".