File indexing completed on 2025-06-29 12:31:44

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