-re "^ +\[0-9\]+ 0000 00000000\[^\n\]*\n" { set x 1 }
-re "^ +3\[ \t\]+/. Looking for C comments. ./\r\n" { set x 1 }
-re "\[^\n\]*\n" { }
-re "^ +\[0-9\]+ 0000 00000000\[^\n\]*\n" { set x 1 }
-re "^ +3\[ \t\]+/. Looking for C comments. ./\r\n" { set x 1 }
-re "\[^\n\]*\n" { }