#!/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]
      

 {      h  l  l  l      D      I9.0.00/32  1D    ?C     M    x7D    D    DP     D   ,   ,                            %   b   C   (   E   S       E   b   A       b      N   C   X   U   T      S       T      T      b   =       b   =      b   =      N   :   N   C   4   E   S       T      S       b   =      b      N   C   X   U   T      T      T      S       b   =      b   =      b   =      N   :   N   E   b   D                                         	                        !   ,   +   0     L    
 X    
     !          
          
 ,    8    D    d     main put reverse read sort write get terms revsort.icn 