process X {
    int a = 0, b = 0;

    state x;
    init x;

    trans
	x -> x { guard a < 1024 && b < 1024; effect a = a + 1; },
	x -> x { guard a < 1024 && b < 1024; effect b = b + 1; };
}

system async;
