package Examples;

import Sequenic.T2.T2annotation.option;

@option("--bdomain=Sequenic.T2.BaseDomain0")
public class Pres2 {
	public void m1(int x) {
		if (x > 10) {
			x--;
		}
	}
}