File indexing completed on 2024-04-21 03:57:05

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