#!/bin/sh
IXBIN=/usr/local/lib/icon/iconx                                               
IXLCL=`echo $0 | sed 's=[^/]*$=iconx='`

[ -n "$ICONX" ] && exec "$ICONX" $0 ${1+"$@"}
[ -x "$IXLCL" ] && exec "$IXLCL" $0 ${1+"$@"}
[ -x "$IXBIN" ] && exec "$IXBIN" $0 ${1+"$@"}
exec iconx $0 ${1+"$@"}

[executable Icon binary follows]
      

   z                       X    I9.0.00/32      :i                                                  ,   ,                               C       E   S       E   A          N   C   8   U   T      S       E   >         =      F   5   N   C   0   U   T      E   S          =      F   5   N   E   D            ʰ                     
          ,     D 
    L 
    t     |                      main push write revfile.icn lines 