definition module IdataSection;

from SymbolTable import :: LibraryList;

write_imported_library_functions_code :: !LibraryList !Int !*File -> *File;
write_idata :: !.LibraryList !.Int !.Int !.Int !*File -> .File;
compute_idata_strings_size :: !LibraryList !Int !Int !Int !*{#Bool} -> (!*{#Bool},!Int,!Int);