/armfpe.s/1.6/Wed Jul  9 19:39:49 1997//
/armfpe.h/1.9/Tue Feb 27 11:20:21 2001//
/armfpe_init.c/1.22/Thu Mar  1 11:29:00 2001//
/armfpe_glue.S/1.14/Mon Mar  5 11:49:48 2001//
D
