#!/home/mr/distribution/BCPL/cintcode/cintsys -s
.k file/a,arg
echo "bcpl com/<file>.b to cin64/<file> hdrs POSHDRS t64 <arg>"
bcpl com/<file>.b to cin64/<file> hdrs POSHDRS t64 <arg>

