package Assert is

   procedure Assert (Condition : Boolean);

end Assert;
syntax highlighted by Code2HTML, v. 0.9.1