definition module IdataSection;

import SymbolTable;

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);