DER encoding: Make the Any stub a class with stub constructors.