/* Generated by CIL v. 1.3.7 */
/* print_CIL_Input is true */

#line 1 "cilcode.tmp/ex30.c"
int main(void) 
{ int x ;

  {
#line 2
  return (x == (x != 0));
}
}