void enable_fpu(void);
void disable_fpu(void);