T=d li
V=x
R=0,1,1
F=(5=3)+x+(4=4)
C=fp_equal(5,3)+x+fp_equal(4,4)
