definition module pdWriteState;

// winOS

import 
	SymbolTable,
	State;
	
write_raw_data :: !*State !*File !*Files -> (!*State,!*File,!*Files);
write_xcoff :: !*Xcoff !*File -> (!*Xcoff,!*File);