tests are conditional
script for setting up top environment
proper DER encoding of sets