#include <__cross_studio_io.h>
int debug_getf(float *f);
debug_getf prompts the user to enter an real value. The number is written to the float object pointed to by f.
debug_getf returns zero on success and EOF on error.
debug_getf is an extension provided by CrossWorks C.