+ 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)))
+ {
+ // Force BSD format from here onwards
+ obj_format = BSD;
+
+ if (verb_flag)
+ {
+ printf("Total : %d bytes\n", sect[TEXT].sloc + sect[DATA].sloc + sect[BSS].sloc);
+ }
+