simpleChoiceTypedPartlyDeclassified.spec 164 Bytes