R := { [i] : i < 10 && i > 1};
codegen R;