#define WRITE_XMRG write_xmrg_

void WRITE_XMRG();