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