class A
{
public int i;
};
class UnsatAliasing01
{
public void m(A a1, A a2) {
a1.i = 41;
a2.i = 42;
}
public static void main(String[] args)
{
A a1 = new A();
A a2 = new A();
UnsatAliasing01 as = new UnsatAliasing01();
as.m(a1,a2);
assert a1.i > a2.i;
}
}