T=d ld li f mf gi cd cf cld
V=x,y
R=-6,6,1
F=((x+4) != (y+6))
C=fp_nequal(x+4, y+6)
