with per; use per; package Mn is type Men is new Person with record Height: Float := 0.0; ID: String(1..15) := " "; end record; overriding procedure print(Self : in out Men); end Mn;