#!/home/mr/distribution/BCPL/cintcode/cintsys -s
.k file/a,arg
echo "bcpl sysb/<file>.b to enderbig64/<file> hdrs BCPLHDRS oender t64 <arg>"
bcpl sysb/<file>.b to enderbig64/<file> hdrs BCPLHDRS oender t64 <arg>
