While doing some work on the python backend, I've stumbled on a serious bug in the c-lib: TEST DEFINITIONS ::= BEGIN SomeRecord ::= SEQUENCE { blah SEQUENCE OF INTEGER } END encoding this, 'blah' will be encoded with the SET_TAG_CODE. A patch is forthcoming.