Port from Java of improvements to DerBoolean and DerEnumerated