/* Generated by CLooG v0.10.7 */
S1(i = 0) ;