#!/bin/sh
IXBIN=/usr/local/bin/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]
      

                       ,  |  ,  4I9.0.00/32 (W	1-p 4(PrT#yO      (X%(W	1-p 5 (Pt      ,   ,                               b   C   (   E   S       E   b   A       b      N   C   D   U   T      S       E   b   >      b      b   =      F   5   N   C   8   U   T      E   S       b      b   =      F   5   N   E   b   D            ΰ                     
   ,      0     L 
    X 
                               main push write lines revfile.icn 