ddc.out exactly_correspond(compile(C,A,D,E,F),C,B,F) ]]> accurately_translates(compile(sP,A,B,C,D),lsA,sA,E,D,eArun) ]]> exactly_correspond(cA,sA,lsA,eArun) ]]>