/* fxstat64 is in fxstat.c */