static void __rest_8087( _87state * __fs ) { __frstor( __fs ); }
static void __rest_8087( _87state *fst ) { __frstor( fst ); }