+++ /dev/null
-SEQUENCE OF NULL
-SEQUENCE (SIZE(0)) OF NULL
-SEQUENCE (SIZE(1)) OF NULL
-SEQUENCE (SIZE(0..2)) OF NULL
-SEQUENCE (SIZE(1..2)) OF NULL
-SEQUENCE (SIZE(1..MAX)) OF NULL
-
-SEQUENCE OF BOOLEAN
-SEQUENCE (SIZE(0)) OF BOOLEAN
-SEQUENCE (SIZE(1)) OF BOOLEAN
-SEQUENCE (SIZE(0..2)) OF BOOLEAN
-SEQUENCE (SIZE(1..2)) OF BOOLEAN
-SEQUENCE (SIZE(1..MAX)) OF BOOLEAN
-
-SEQUENCE OF PrintableString (SIZE(1))
-SEQUENCE (SIZE(0)) OF PrintableString (SIZE(1))
-SEQUENCE (SIZE(1)) OF PrintableString (SIZE(1))
-SEQUENCE (SIZE(0..2)) OF PrintableString (SIZE(1))
-SEQUENCE (SIZE(1..2)) OF PrintableString (SIZE(1))
-SEQUENCE (SIZE(1..MAX)) OF PrintableString (SIZE(1))
-
-SEQUENCE OF PrintableString (FROM("A".."Z"))
-SEQUENCE (SIZE(0)) OF PrintableString (FROM("A".."Z"))
-SEQUENCE (SIZE(1)) OF PrintableString (FROM("A".."Z"))
-SEQUENCE (SIZE(0..2)) OF PrintableString (FROM("A".."Z"))
-SEQUENCE (SIZE(1..2)) OF PrintableString (FROM("A".."Z"))
-SEQUENCE (SIZE(1..MAX)) OF PrintableString (FROM("A".."Z"))
-
-SEQUENCE OF PrintableString (FROM("A".."Z"))
-
-SEQUENCE OF BOOLEAN -- RMAX=70000
-SEQUENCE (SIZE(2..MAX)) OF BOOLEAN -- RMAX=70000
-SEQUENCE OF PrintableString (SIZE(1)) --RMAX=16384
-
--- Mainly verifies encoding when its size is 0.
-SEQUENCE OF OCTET STRING (SIZE(1))
-SEQUENCE (SIZE(1..MAX,...)) OF OCTET STRING (SIZE(1))
-SEQUENCE (SIZE(1..2,...)) OF OCTET STRING (SIZE(1))