FPU_settag0
FPU_settag0(tag);
extern void FPU_settag0(int tag);
FPU_settag0(st0_tag);
FPU_settag0(st0_tag);
FPU_settag0(TAG_Valid); /* Needed if arg was a denormal */
FPU_settag0(tag);
FPU_settag0(tag);
FPU_settag0(tag);
FPU_settag0(tag);
FPU_settag0(tag);
FPU_settag0(loaded_tag);
FPU_settag0(loaded_tag);
FPU_settag0(loaded_tag);
#define pop_0() { FPU_settag0(TAG_Empty); top++; }
FPU_settag0(tag);
FPU_settag0(TAG_Valid);
FPU_settag0(TAG_Valid);
FPU_settag0(tag);