#!/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 p    RD    Rp    Rd    R    Rp    RJ|          <   <                                          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 