symbolic a1,a2,b1,b2,c1,c2,d1,d2;

IS1 := {[i,j] : a1 <= i <= b1 && c1 <= j <= d1};
IS2 := {[i,j] : a2 <= i <= b2 && c2 <= j <= d2};

T1 := {[i,j] -> [i,j,0]};
T2 := {[i,j] -> [i,j,1]};

codegen T1:IS1,T2:IS2;
codegen 2 T1:IS1,T2:IS2;