#!/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]
      

 @      |                  I9.0.00/32  1OG    K     M    xG    PG    DP     G   <   <                                          b   C   |   E   S       C   H   T      E   Q       E   M      $      b   &   b   =      8   :      E   M      $      b      N   C      U   E   S      T      b   =       b      N   C   U   E   E   M      $      S       I   b   )   F   U   T      S      b   =      N   5   N   :   `N   E   b   D                                   
         <   &   @                              0    P    x     main integer read write args i line 1 vrepl.icn 