double_equivalence
double_equivalence *kluge;
kluge = (double_equivalence *)px;
double_equivalence dd;
double_equivalence dd;
double_equivalence *x;
x = (double_equivalence *)px;
double_equivalence *kluge;
kluge = (double_equivalence *)px;
double_equivalence kluge;
double_equivalence kluge;