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