begin a = b + 1 end
begin j = k - 1
end