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