definition module PEFObjectToDisk;

import SymbolTable;

//write_pef_file :: .{#Char} .Int !.Int !.Int !.LibraryList !.Int !.Int .Bool !*Sections !.Int {#.Bool} !{#.Int} !*{#*Xcoff} *Files -> *(!Bool,Int,*Files);
//write_pef_file :: .{#Char} .Int !.Int !.Int !.LibraryList !.Int !.Int .Bool !*Sections !.Int *{#.Bool} !*{#.Int} !*{#*Xcoff} *Files -> *(!Bool,Int,*Files);