1SECTION code_fp_mbf32
2PUBLIC ___mbf32_FPINT
3EXTERN FPINT
4defc ___mbf32_FPINT = FPINT
5