+ printf("TEXT segment: %d bytes\n", sect[TEXT].sloc);
+ printf("DATA segment: %d bytes\n", sect[DATA].sloc);
+ printf("BSS segment: %d bytes\n", sect[BSS].sloc);
+ }
+
+ // Write requested object file...
+ if (obj_format==BSD || (obj_format==ALCYON && prg_flag==0))
+ {
+ if (verb_flag)
+ {
+ printf("Total : %d bytes\n", sect[TEXT].sloc + sect[DATA].sloc + sect[BSS].sloc);
+ }