Procedure Assert ( Aseertionn: boolean; Message : string ); begin if( not Assertion) begin writeln(Messase); writeln('stopping the program.'); halt(FATAL ERROR) end end;
begin {perform check 1--maybe chech that it's not nil} {perfom check 3 --maybe check that what is point to isn't corrupted} {perform check n--...} end;