cP-corresponds-sP.out exactly_correspond(compile(C,A,D,E,F),C,B,F) ]]>