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