This file is indexed.

/usr/src/gcc-4.7/debian/lib32objc4.symbols is in gcc-4.7-source 4.7.3-12ubuntu1.

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

The actual contents of the file can be viewed below.

1
2
3
libobjc.so.4 lib32objc4 #MINVER#
#include "libobjc4.symbols.common"
 __gnu_objc_personality_v0@Base 4.2.1