#! /bin/sh -e

#export BASEDIR=$(cd $(dirname $0)/..; pwd -P)

# Echos the PID of the process, then execs the process
echo "nklib_pid:$$"
exec $1 $2 $3 $4 $5 $6 $7 $8 $9
