This is just an example of what MARK can do:

 
 var i: Integer;
 begin
  i := 1.1;
 end.