<prompt> Kwa mfano, programu ya Ada inaweza kupima pembe tatu za pembetatu kwa kutumia formula ya Heron na kuamua eneo la pembetatu kwa kutumia hesabu ya Heron, na kugundua kwamba programu imeweka ujumbe sahihi wa makosa kwa pembetatu za pembetatu, na kuonyesha ujumbe sahihi wa makosa kwa pembetatu zisizo halali.  <response>: Ada.Text.io, Ada.Text.io, Ada.Numerics.Elementary.Functions.Ada.Text.io, Ada.Numerics.Elementary.Functions. Ada.Text.io, Ada.Numerics.Elementary.Functions.Ada.Numerics.Elementary.Functions.Ada.Numerics.Elementary.Functions.Ada.Numerics.Elementary.Functions.Ada.Numerics.Elementary.Functions.Ada.Numerics.Elementary.Functions.Ada.Numerics.Elementary.Functions.Ada.Ada.Numerics.Functions.Ada.Ada.Numerics.Ada.Ada.Ada.Ada.Ada.Ada. 