XcompN theory2.ccfc Sout.datt
XcompN -T theory2.ccfc Srun.datt
XcompN -S theory2.ccfc Sstate.datt
