int handleDefsclfile( void* firsthandlerarg, uint32_t streamid, uint32_t deftoken, const char* filename ) { return ( 0 == VTF3_WriteDefsclfile( ((fcbT*) firsthandlerarg)->fcb, deftoken, filename ) ) ? OTF_RETURN_ABORT : OTF_RETURN_OK; }
static void conv_write_files() { int i; for (i=0; i<numfile; i++) { if ( filetab[i] ) VTF3_WriteDefsclfile(fcb, (int) i, filetab[i]); } }