This file is indexed.

/usr/lib/s9fes/help/write-char is in scheme9 2010.11.13-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
R4RS 6.10.3  (write-char char)              ==>  unspecific
             (write-char char output-port)  ==>  unspecific

Writes the character CHAR (not an external representation of the
character) to the given port and returns an unspecified value. The
OUTPUT-PORT argument may be omitted, in which case it defaults to
the value returned by CURRENT-OUTPUT-PORT.