var d: real;
begin

if (d < 1/10 and d >= -1/10) then
halt;
else
assume not d == 0;
endif;

end