Hi, I believe that CIL modifies/simplies many C statements internally, .e.,g 

while (exp)  {body}  becomes  
while(1) { if(!exp) break; body}  


if (exp) {b1} else {b2} becomes
int t = exp ;  if t {b1} {b2}  

is there a way, like passing a flag to cilly, that allows me to get the modified C version ?   the flag --save-temps gives the .i file but it doesn't contain these modifications.  

Thank you,