File indexing completed on 2025-04-20 09:46:15

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