#version 100

primitive main(in a, out b) {
	msg x = null;
	while (x == null) {
		sync {
			if (fires(a))
				x = get(a);
		}
	}
	while (true) {
		sync {
			if (fires(b))
				put(b, x);
		}
	}
}