#!/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]
      

       4  8  8  8  X  x    x    I9.0.00/32      i:Ŗ                                               <   <                           "      '      )   C   X   E   S       C   4   T      E   Q       <      &   =      8   :      <         N   C      U   E   S      T      =          N   C   U   E   <      S       I   )   F   U   T      S      =      N   5   N   :   |N   E   D                                   
                <     t     x                             0     main integer read write vrepl.icn args i line 