Равиль, не обязательно зеленкой. Вариантов по ст 58 имелось весьма много. Вышки - два. Собственно расстрел и лишение гражданства. Более мягкие от 2 до 10 лет, где с конфискацией, где без. Сейчас уже не так хорошо помню, но в свое время я до дыр зачитал эту статью.