begin
    integer a;
    a := 43;
    assert a = 42;
    write( "this won't appear" )
end.