File indexing completed on 2024-04-28 15:30:02

 int main()
 {
   int this_line_is_safe=1;
   int that_line_will_cause_havoc=1;
 }