// Dafny program the_program compiled into Java

import ConsumerModule.*;
import _System.*;




public class usesTimesTwo {
  public static void main(String[] args) {
    dafny.Helpers.withHaltHandling(() -> { ConsumerModule.__default.__Main(dafny.Helpers.UnicodeFromMainArguments(args)); } );
  }
}
