#include <__cross_studio_io.h>
int debug_filesize(DEBUG_FILE *stream);
debug_filesize returns the size of the file associated with the stream stream in bytes.
debug_filesize returns EOF on error.
debug_rewind is an extension provided by CrossWorks C.