#!/bin/csh
set klic_dir=/usr/local/klic
kl1mod $* > $cwd/bcheck.kl1
klic -v $klic_dir/body.o $cwd/bcheck.kl1 $*
echo "-----------------------------------------"
a.out
