#include <__cross_studio_io.h>
void debug_rewind(DEBUG_FILE *stream);
debug_rewind sets the current file position of the stream stream to the beginning of the file and clears any error and end of file conditions.
debug_rewind is an extension provided by CrossWorks C.