>>> Symbolic a1,a2,a3,a4,a5,b1,b2,b3,b4,b5;
>>> IS1 := {[i] : a1,a2,a3,a4,a5 <= i <= b1,b2,b3,b4,b5 };
>>> IS2 := {[i] : a1,a2,a3,a4,a5 <= i <= b1,b2,b3,b4,b5 };
>>> 
>>> T1 := {[i] -> [i,0]};
>>> T2 := {[i] -> [i,1]};
>>> 
>>> codegen T1:IS1,T2:IS2;
for(t1 = max(a1,a2,a3,a4,a5); t1 <= min(b1,b2,b3,b4,b5); t1++) {
  s1(t1);
  s2(t1);
}

>>> codegen 2 T1:IS1,T2:IS2;
for(t1 = max(a1,a2,a3,a4,a5); t1 <= min(b1,b2,b3,b4,b5); t1++) {
  s1(t1);
  s2(t1);
}