8877 eraXys00a(2400000.5, 53736.0, &x, &y, &s);
8879 vvd(x, 0.5791308472168152904e-3, 1e-14,
"eraXys00a",
"x", status);
8880 vvd(y, 0.4020595661591500259e-4, 1e-15,
"eraXys00a",
"y", status);
8881 vvd(s, -0.1220040848471549623e-7, 1e-18,
"eraXys00a",
"s", status);
static void vvd(double val, double valok, double dval, const char *func, const char *test, int *status)
void eraXys00a(double date1, double date2, double *x, double *y, double *s)