with Ada.Assertions;  use Ada.Assertions;
...
Assert (A = 42, "Oops!");