The subtypes' stream-oriented attributes are called to write objects to a file, bare and using binary default representations.
with Ada.Streams.Stream_IO;
procedure Main is
type Fruit is (Banana, Orange, Pear);
type Color_Value is range 0 .. 255;
type Color is record
R, G, B :...