FPU_gettag
extern int FPU_gettag(int regnr);
else if (FPU_gettag(i) == TAG_Empty) {
if (FPU_gettag(regnr) != TAG_Empty)