with Net.Portability; package Net.Packet is do_debug : Debug_Mode := Inherit; type Address is abstract new Net.Address with null record; function To_String (a : Address) return String is abstract; type Packet is abstract tagged null record; function New_Packet (p : Payload_Type) return Packet is abstract; end Net.Packet;