// Example input file for ROSE tutorial
#include <iostream>
// Main function int main()

typedef float Real;

int main( )
{
  int x=0;
  bool value = false ;

  for (int i=0; i < 4; i++) {
    int x;
  }

  return 0;
}

