This file is indexed.

/usr/include/diet/write12.h is in dietlibc-dev 0.33~cvs20120325-6+deb8u1.

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
#include <sys/cdefs.h>
#include <sys/types.h>

__BEGIN_DECLS

ssize_t __write1 ( const char* s ) __attribute__ (( __regparm__(1) ));
ssize_t __write2 ( const char* s ) __attribute__ (( __regparm__(1) ));

__END_DECLS