void fpu_enable(void);
void fpu_disable(void);