host-ieee32.c revision 3793707e
1