/*->h.pxexp */

extern void dxwritedata(FILE * ofp,int dcindex);

