This file is indexed.

/usr/share/doc/mawk/examples/eatc.awk is in mawk 1.3.3-17ubuntu3.

This file is owned by root:root, with mode 0o644.

The actual contents of the file can be viewed below.

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
#!/usr/bin/mawk -f

#  eatc.awk
#  another program to remove comments
#


{  while( t = index($0 , "/*") )
   {
     printf "%s" , substr($0,1,t-1)
     $0 = eat_comment( substr($0, t+2) )
   }

   print 
}


function eat_comment(s,		t)
{
  #replace comment by one space
  printf " "

  while ( (t = index(s, "*/")) == 0 )
	if ( getline s == 0 )
	{ # input error -- unterminated comment
          system("/bin/sh -c 'echo unterminated comment' 1>&2")
	  exit 1
	}

  return  substr(s,t+2)
}