If the "file" I try to prettify is a really directory and is NFS-mounted 
instead of on a local file system, ec crashes when I try to prettify it:

marten 316% ec -pretty /home/dhollen
ISE Eiffel: Session aborted
Exception tag: FILE: unable to read stream.

ec: system execution failed.
Following is the set of recorded exceptions:

******************************** Thread exception *****************************
In thread           Root thread            0x0 (thread id)
*******************************************************************************
-------------------------------------------------------------------------------
Class / Object      Routine                Nature of exception           Effect
-------------------------------------------------------------------------------
KL_BINARY_INPUT_FILE
                    read_to_string @1      FILE: unable to read stream.:
<00000000062F6970>  (From RAW_FILE)        Runtime I/O error.            Fail
-------------------------------------------------------------------------------
KL_BINARY_INPUT_FILE
                    read_to_string @1
<00000000062F6970>  (From RAW_FILE)        Routine failure.              Fail
-------------------------------------------------------------------------------
KL_BINARY_INPUT_FILE
                    read_to_string @12
<00000000062F6970>  (From KL_INPUT_FILE)   Routine failure.              Fail
-------------------------------------------------------------------------------
ENCODING_DETECTION_FILE_BUFFER
                    detect_file @6
<00000000062F7D20>                         Routine failure.              Fail
-------------------------------------------------------------------------------