@SuppressWarnings({ "rawtypes", "unchecked", "deprecation" })
public class GeneratedTest {
	
	public static void main(String[] args) throws Throwable {
		new GeneratedTest().run();
	}
	
	private void run() throws Throwable {
		
		final tso.examples.SimpleDataRace var0 = new tso.examples.SimpleDataRace();
final int var1 = var0.testAndUse();
final int var2 = var0.testAndUse();
final int var3 = var0.testAndUse();
final int var4 = var0.testAndUse();
final int var5 = var0.testAndUse();

		
		Thread t1 = new Thread(new Runnable() {
			public void run() {
			  try {

				  final int var6 = var0.testAndUse();
var0.toggle();


        } catch (Throwable t) {
          throw new RuntimeException(t);
        }
			}
		});
		
		Thread t2 = new Thread(new Runnable() {
			public void run() {
			  try {

				  final int var6 = var0.testAndUse();
var0.toggle();


        } catch (Throwable t) {
          throw new RuntimeException(t);
        }
			}
		});
		
		t1.start();
		t2.start();
		
		try {
			t1.join();
			t2.join();
		} catch (InterruptedException e) {
			e.printStackTrace();
		}
	}
	
}