NxtrEps_FIAT_TEST_CFG