#!/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 