let
tbits_of_var a : t_bits =
F
.var a