#!/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]
      

                     `      h      h      h                  h            I9.0.00/32     uP     q      1                      C;rC;s       D             !F     !W              X       X                                                               b   C       4   E   S           E   b   b   A           b      N   C       \   U   T          b   S           E   b   b   >          b      b   =          F   5   N   C       D   U   T          E   S           b      b   =          F   5   N   E   b   D                            Ͱ                                                 
                      \              
             
                                                  4            <            \      main push write revfile.icn lines 