diff(fdv X,fdv Y,int I)

{
 start X in ~{val(Y),val(Y)+I,val(Y)-I}
 start Y in ~{val(X),val(X)+I,val(X)-I}
}