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