_high_fp
void restore_high_fp(const struct _high_fp *);
void save_high_fp(struct _high_fp *);
struct _high_fp mc_high_fp;
struct _high_fp pcb_high_fp;
struct _high_fp fpr_high;