#!/bin/sh -f

export TCLLIBPATH="none /usr/lib/amd64"; \
export PATH="none":"/usr/sbin/amd64":$PATH; \
exec ibis "$@" <<EOF

set argv0 ibdiagnet
package require ibdiagnet

EOF