let tbits_of_var a : t_bits = F.var a