simpleChoiceTypedPartlyDeclassified.spec 162 Bytes