This file is indexed.

/usr/share/games/pixfrogger/sonido.inc is in pixfrogger 1.0-2.

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
Process carga_sonidos();
Begin
	from i=1 to 50;
		wavs[i]=load_wav("wav/"+i+".wav");
	end
End

Process sonido(num);
Begin
	if(ops.sonido)
		play_wav(wavs[num],0);
	end
End