exported resubstitution fold generator